The given requirements are clear and understood. At the same time, their weight factor is different: De gustibus non est disputandum!
We may or may not like Windows but every IDE has to support it otherwise it isn’t the competitor on the existing market. Every other OS is a bonus, not a requirement.
Makefile is indeed the lowest common denominator. At the same time, IDE is mostly for rapid prototype development when make takes quite significant time to tune and set it up the right/intended way.
Examples for sure are a must but their variety and quality are not less important. And this is in my mind is hugely important metric!
I did use many of those MCU and IDE but my marks are significantly different.
My major complaint is the quality of the examples - they do mostly show how to use the given MCU/SoC but they also show how NOT to design and write code - they are written by cheap outsourced engineers, require a lot of work to be understood and adapted. Yeah, this is the nature of the business…
And, of course, this is just my personal opinion.