gave docs.html a page title.