While it wasn’t a requirement, be aware that Vagrant (along with all Hashicorp products) are no longer free software and are instead under the Business Software Licence.

Live, Laugh, Linux

GOB’s not on board.

You can relatively easily set up a self-hosted OIDC sever like like Keycloak or Kanidm.

Cunk

Dell have at times sold laptops with Linux pre installed.

https://youtu.be/SVGV6lvNTR4?si=MY0P83xqmHCWSjnP

It’s worth noting that you can install Kate on Windows too if you want to https://apps.microsoft.com/detail/9NWMW7BB59HW