Re-indent tutorials/intro.html