That is not a problem.
[...]
A more important reason to have them as separate entries is to avoid
giving a wrong impression that "--" is somehow related to <path>,
Okay, makes sense then. Queue it for this and shortlog; we can write
it for the other manpages gradually.