Move last contents of documentation to specific places

This paves the way to perhaps delete the top-level 'documentation' page and move everything up one level in the information hierarchy.