users guide: A few small mark-up fixes
This applies @clyring's "Users' guide: Fix base-ref links containing symbols" commit from !12429 (merged) and a follow-up fix from me.
This applies @clyring's "Users' guide: Fix base-ref links containing symbols" commit from !12429 (merged) and a follow-up fix from me.