doc/user.md: fix broken links

Thanks to #3364. See also #3349.
9 jobs for feature-a/3004-doc-markdown in 1 minute and 8 seconds (queued for 3 seconds)