Here is the formal description of the <abbr>-element:
Edit: I thought, we could maybe make this a default behaviour on our Discourse instance, but both available options seem to be not well maintained:
- Not Maintained and broken
- Not easy to add custom abbreviations
Discourse suggests using the footnote plugin instead. It’s not really a good replacement.