You should feel encouraged to fix such things yourself and provide patches. If that is too much work (mastering TeXinfo can be a slog), feel free to post a textual patch here, and I will turn it into TeXinfo and merge it.
You should feel encouraged to fix such things yourself and provide patches. If that is too much work (mastering TeXinfo can be a slog), feel free to post a textual patch here, and I will turn it into TeXinfo and merge it.