> I would prefer using @verb in these cases, but with good font outer
> quotes (printed by the @kbd command) are "curved", so it's bearable.

So you think @kbd is fine in this case, after all?

If there's anything remaining you think should be done here, could you
spin new patches and explain each change you want to make?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no