Hello, it would be a nice feature to have actual anchors in the HTML documentation. I mean with that, that there is an anchor symbol which upon clicking, copies the exact URL to this section in the HTML documentation.
This is useful, since currently I always need to go to the top of the documentation (Table of Contents) to grab the URL that jumps to the corresponding section, which I paste in the #Guix IRC channel as pointer on how to do specifc things. Can we maybe even do this not only for whole sections, but also for things like "console-font-service-type". For example if someone asks how to install TTY fonts. Best Regards Christian Miller