I don't know if this answers your question, but you can export HTML tags like this:
Keyboard shortcut: @@html:<kbd>@@C-c C-c@@html:</kbd>@@
I don't know if this answers your question, but you can export HTML tags like this:
Keyboard shortcut: @@html:<kbd>@@C-c C-c@@html:</kbd>@@