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

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

Dell have at times sold laptops with Linux pre installed.

I like “Vectoria”.

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

Indeed, KMines.

It doesn’t seem to be open-source, at least not under any license I recognise.