User docs: Make page ID the same as file name
User docs: Fix broken See Also page