doc: Fix formatting in userref

2 jobs for master in 1 minute and 21 seconds (queued for 1 second)