And I'm sure you have other open source python language servers and open source python checkers for other open source editors. Nobody is locking you in here. Everyone is free to move to something else to write python.