Maybe we should suggest the maintainers to follow the same conventionI added something to the Texinfo manual about it. Super! Thanks :)
Maybe we should suggest the maintainers to follow the same conventionI added something to the Texinfo manual about it. Super! Thanks :)