The Italian way looks similar to the Swiss way. In detail:

When I go to cast a vote in Italy I bring with me my state issued photo ID (everybody has one, I mean: must have one) and a state issued sheet of paper with the address of the place I must go to vote and a grid of empty spaces. I don't have to register to vote, basically I'm registered at birth. The people at the polling station take my two cards and look for me in their registry. They mark that I came to vote, stamp an empty space on the second card and handle me the paper ballots. I think that in this way it's both anonymous and verifiable. When the card with the stamps is full, they mail me a new one.

The state definitely know where people live. Babies are registered when they are born and people have to register any change of their address of residence. It's been like that at least since Italy became a country in the 1860s.

By the way, how do I know that they counted my vote as I cast it? I can't know it. I must trust that they did not open the box and replaced the ballots, but people from the several competing parties visit the polling station and can attend the counting. I trust that process much more than something happening inside a computer program.

You are correct but only in part.

Claude did tell me where to fiddle with CSS, but its suggestions where not always on spot. It cut the time I spent on it and maybe it made it possible, because I wouldn't have dissected the source code or inspected the UI in the right way (GTK inspector). All the process still cost me a few weeks of five minute attempts now and then.

I think that there is no way an agent (and I was using the chat UI) can take control of my desktop, patch CSS, restart it, take advice and give me what I want. Not yet.

By the way, I have an autohiding Windows 95 like app bar at the bottom. The text inside the app items is still a bit too small and some icons in the terminal top bar are still too narrow. I think I have more CSS to fix but I'm in no hurry.

ProxyJump is a newer functionality. There used to be only ProxyCommand. ProxyJump is a shortcut for the usual way to use ProxyCommand to connect through a bastion host but ProxyCommand is more flexible. For example with ProxyCommand you can run any command to connect to the remote host. ProxyJump only connects over ssh. I think I replaced all my ProxyCommand with ProxyJump because I don't need much else than the normal use case.

Thank you. I finally looked into project.el and I started using C-x p f, C-x p b. It was already configured by default. Lazy me.

About the UI I become "they" but installing the GNOME extensions that I need to make my desktop look like 99% of what I would it to look and behave. It takes a few minutes to get to 80%, a few hours to get to 95% and days (a few minutes here and there) to 99%. Those huge menus and tabs on GNOME terminal eventually became skinny with a good deal of CSS and AI.

Do most people want to get through that research? Absolutely no, I don't expect many people to follow me into that rabbit hole. They can get the default or Windows or a Mac, no problem with that.