Gavin Smith wrote:
> it is not worth changing and making practically every use of
> @itemize in a Texinfo manual being flagged as incorrect, in my opinion.
I agree. Counting the number of existing usages in Debian [1][2]:
- 8753 times '@itemize @bullet' without braces,
- 288 times '@itemize @bullet{}' with braces.
Asking more than 340 packages to change their .texi files is not realistic.
Bruno
[1]
https://codesearch.debian.net/search?q=%40itemize+%40bullet+-path%3Atexinfo.tex&literal=1
[2]
https://codesearch.debian.net/search?q=%40itemize+%40bullet%7B%7D+-path%3Atexinfo.tex&literal=1
