> Date: Sat, 17 Sep 2016 14:53:06 +0300
> From: Eli Zaretskii <e...@gnu.org>
> Cc: firstname.lastname@example.org
> > From: Robert Weiner <rsw...@gmail.com>
> > Date: Sat, 17 Sep 2016 07:37:51 -0400
> > With the newest Texinfo releases, you can use @ktable and have the kbd
> > index entries automatically generated.
> That's true, but @ktable didn't exist in older versions, so it would
> be prudent not to use it for a few years.
Actually, I take that back: it seems @ktable was removed from
Texinfo-6.3, the latest release.