Hello Guix! I added a language menu in the on-line HTML manual that you can see in the top-right corner of manual pages:
https://guix.gnu.org/manual/devel/es/html_node/Empezando.html https://guix.gnu.org/manual/devel/ru/guix.ru.html (CSS needs to be fixed so the menu item colors look right.) This is done with these two commits: https://git.savannah.gnu.org/cgit/guix.git/commit/?id=7eb883b7c284c78cc17093bfc4ef2d70e0acad83 https://git.savannah.gnu.org/cgit/guix/guix-artwork.git/commit/?id=db26102d4149a3a857701add00d23bdf38e21911 I think eventually we could also add explicit links to, say, report translation errors or other issues. Let me know what you think! Ludo’.
