Run tidy on development/website_updating.html
Link to boost_config.php on github.