Add missing doc.html files and remove some obsolete snippets