User manual update: Check that the user_id anchor still works. See https://reviews.mahara.org/#/c/10424
User manual update: Check that the user_id anchor still works. See https:/ /reviews. mahara. org/#/c/ 10424