Even intel is using TSMC for their latest 200 series chips. Technology is one thing, doing it at scale is another. Samsung is close but still behind.

https://www.tomshardware.com/news/samsung-says-it-will-beat-tsmc-to-4nm-production-in-the-us

Linux is really good at sandboxing and containerizing things. Not to mention the display manager/server changes from system to system and is optional.

+1 to laser for light usage. I have an HP cheapo laser setup with a cups server; everyone just hits the print server instead of needing to install drivers.