Yes, but also to sue one must be able to prove injury. I don't know much about this group, but it is possible they hadn't been injured yet. Or that, knowing this was coming, they built their case months ago and have been waiting until this drops to do anything.
Not saying they're at all worthy of trust, anyone on that side of the aisle isn't, but the case would be tossed immediately if they sued before he took this action.
For sure, you never lose your right to complain. But be fair to yourself too, even if you complained incessantly, you stuck it out (and what is a Linux user without incessant complaining?).
The point is what you said though, they could very easily solve an issue that could be preventing a large group of potential users from adopting... because the maintenance team doesn't want to update the installation guide or the file names. Again, it's a very Linux thing for them to take that position. And that's why I end up recommending an Ubuntu spin to people, even though I think the whole package that Mint presents is nicer out of the box.
Nah, this is from her team. At best, she's furrowing her brow.
More than happy to help! Let me know if I can answer any other questions for you