I don’t know. There’s this post on their forums which talks about why development of version 11 is taking so long, but the post is also four years old. Unfortunately, since it’s not open source we can’t tell exactly what’s going on.

Synthesia sounds like what you want.

My mom was playing Jeopardy on her Alexa and one of the questions was about a state in Mexico. Her boyfriend, who was very drunk, adamantly insists that it’s a trick question because “Mexico doesn’t have states.” It’s literally called the United Mexican States. Two of my aunts are from Mexico. It took like two hours to get him off the subject.

A lot of them work in IT.

Thank you for the correction. I try to be as accurate as possible when providing information, but I misremembered the specs.

I have a Thinkpad T480 and I’m very happy with it. I paid about $250 (~£190) for mine. It came with 16 GB RAM, but is upgradable to 32 GB. The one I bought came with a 128 GB SSD, but I swapped it out for a 1 TB drive which added another $100 (~£76) to my initial investment. This model originally came with Windows 10 and most on the market will come with it, but can be updated to 11 if desired.

I personally have not used Win11 since they made some changes I don’t like, so I can’t really give you advice on that aspect.

More or less. I think there are some differences between the Q and K based models, but they’re close enough to not require separate ports of Rockbox.

You should look into Rockbox. It’s an open source alternative firmware for a variety of portable media players that adds features such as support for more file formats (and it runs Doom). As for which supported players I’d recommend then maybe a flash modded iPod or an AIGO Eros Q or K (also sold as the HIFI WALKER H2, Surfans F20, or AGPTek H3).