The way @kbd{tab} is getting rendered in the Info and HTML
documentation is confusing some users, f.ex.
https://bugs.debian.org/671817

The Texinfo documentation suggests that these should be
@key{TAB} instead.