Autogenerated html pages for 0.7.1