sudo cat /dev/input/mice

Days since I last had to check which #Debian codename maps to which release number: 0

For more than 20 years, I’ve downloaded files using wget because I could never remember curl options.

It turns out that I was not alone.

@samueloph created a simple wrapper around curl called "wcurl". This is brilliant! And, yes, the name is very intuitive. Best of all, it is already in Debian (and on my system) but it should really be part of the official curl distribution (ping @bagder )
https://samueloph.dev/blog/announcing-wcurl-a-curl-wrapper-to-download-files/