Subject: bug#16803: @kbd for long option names?

From: Paul Eggert <[email-masked]>
Date: Tue, 18 Feb 2014 22:32:53 -0800

Karl Berry wrote:
> I'm happy to send a patch to remove all the @kbd's if you'll accept it,
> but I imagine you had a reason to insert them in the first place.

Beats me as to why they're there, and I don't think anybody'll mind if 
they go.