On Thu, Jul 23, 2020 at 10:04:24PM +0200, Klemens Nanni wrote: > I've somehow hit the slash way to often for searching a particular > command, would anyone object if I added it as a command character? > > While here, what's up with the weird markup in top.1 for `n|# count'? > I've simplified that before adopting it, `mandoc -Tlint ./top.1' is > happy with it. >
we used to use \*(Ba instead of "|". i think it made mark up simpler in some cases. and i think ingo wants us to reduce it (and he'll probably chip in) so i guess that particular change is fine. jmc