Remove the HTML version of the introduction
Retitle, explain built-in environment checking