I think `<code>button</code>` instead of `<span>button</span>` is used in the HTML spec

[muhdaizwan]

I think <code>button</code> instead of <span>button</span> is used in the HTML spec

Originally posted by @josepharhar in whatwg/html#11257 (comment)