Earlier quoted context omitted.
You don't download an entire library to save you some keystrokes. Just create your own $ alias if you must.
It's not just $... And why not just install jQuery? What's the big deal? Where can I find the short aliased library? (If it's not there, I guess it's not a popular idea.)
In the last 5+ years, I have never found myself missing something from jQuery. Is there something that jQuery does marginally better than vanilla JS in 2020?
> What's the big deal?
Sending unnecessary dependencies over the wire without any justification