[Bug 672437] [NEW] wishlist: GNU homepage - provide single HTML for documentation