Atom also is a Microsoft product: https://github.com/atom (Microsoft bought GitHub in 2018)

Brackets is an Adobe product (https://github.com/adobe/brackets) (and doesn’t appear _that_ alive to me)

Yup. The official docs contain a lot of references to Azure (cloud) as well, e.g. https://code.visualstudio.com/docs/python/python-on-azure