I work as a barista and get much too annoyed by people ordering a “regular coffee”.
Like I know that 99.999% of the time they mean a drip/filter coffee (excluding that one lady that one time who was surprised I didn’t parse “regular coffee” as a latte), but like can you just say drip coffee? Or even simply “coffee”!
I honestly don’t even know why it annoys me this much.
Yeah they host their own repo, here’s the link:
https://www.collaboraonline.com/downloads/fdroid/repo/