In the 90s my dad showed me his stack of IBM compatible 12 bit per column, 80 column card from his time working at the university physics department’s computer in the 70s. He had no access anymore to card readers and just kept the cards for sentimental value.

Most cards contain FORTRAN programs for the TR440 computer made by Telefunken.

Sorry, I have no further proof. :)

It absolutely is. A punch card represents a line of text, mostly in a programming language.

I’m running Wayland for many months now. Yust because why not. It just works. Debian sid with gnome here.

You can use SSH for unlocking: https://www.cyberciti.biz/security/how-to-unlock-luks-using-dropbear-ssh-keys-remotely-in-linux/