I was trying to be even-handed. I'm generally of the opinion that PlatformIO should merge the PR on the condition that it be maintained by the community - which seems reasonable considering PIO is supposed to be an open-source project - but it's also a complicated situation involving a bunch of negotiations I'm not party to, so I wanted to avoid passing judgement.