Rebuild Texinfo manual

[ci skip]
Fix syntax highlighting

[ci skip]