It only takes one student to lose an arm, face, life and their parents will sue the school into oblivion and start PAPT (parents against power tools) or something "for the kids!"
I'm on your side that I'd rather see the tools at the school. At the same time, I took an auto-shop class in high school and the majority of students in the class were dipshits and were lucky not to get more hurt. The teacher managed to stop them just in time from trying to turn over an engine on a rack that would have crushed them if the teach had been 5 second later.
I have, it's called Visual Studio Code and I ditched my old native editor(s) for it.
I'd even suggest that the fact that it's JS based has significantly changed the tech world because the editor itself will run in a browser so it's here https://godbolt.org/ , and here https://codesandbox.io, and here https://www.postman.com/, and here https://aws.amazon.com/pm/cloud9/ and 100s or 1000s of other sites.
Google Maps allows you declare your allegiance. You can mark a business as LGBTQ+ friendly (why should I have to declare that and it not just be assumed?).
https://blog.google/outreach-initiatives/small-business/addi...
You can also declare a business as "woman owned/led"
https://blog.google/outreach-initiatives/small-business/empo...
and "black owned"
https://www.theverge.com/2020/7/31/21348990/google-black-own...