Skip to content

users guide: A few small mark-up fixes

Ben Gamari requested to merge wip/users-guide into master

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

Merge request reports