>Abbreviations carry unnecessary cost on the side of the readers.

They do, but the parent's question wasn't about the abbrebation (for which I'd cut them some slack) but extended to:

"Is that supposed to help? WTF is a HuggingFace?".

>So thanks for the comment and no, a 101 wouldn't even help with this problem.

Wasn't addressed to you though (don't even see any other comment of you in this subthread), but to @markdown, whose issue wasn't with the abbreviation alone.