smarter/dotty-tutorial not found