User docs: Make page ID use file name