Thread:MondlichtPanda/@comment-37484301-20190809224843/@comment-36836718-20190817190513

Glossary is a good idea. Reddit has an automatic bot that browses through pages for abbreviations and posts a glossary of those it found. People there are less confused than all others ;)