Update and clean up recently ported documentation pages.