doc: Tweak userref, add newly allowed symbols

2 jobs for master in 1 minute and 24 seconds (queued for 30 seconds)