Add missing pages to HTML manual version.