> It might be worth linking to these GitLab links, somehow, in the > official documentation?
Yes. You are more than welcome to walk over the various manuals and
provide patches (to the source code files, for example,
`Documentation/en/notation/input.itely`)!
Werner
