Yes absolutely, I can't be bothered downloading jar files and managing
them anymore.  If it's not in the repo we don't use it.

OT: That's certainly regrettable, but you could still bother, or be
bothered, to set up your own repo. It would, however, eventually,
require a download.