Stupid we are even discussing this. Much more important stuff to worry about than a ladies room.
It was merely reported as a news item. Of course we didn’t need a discussion about it but isn’t that the way things are today? Everyone has an opinion about everything, no matter how trivial...
Unless you happen to be a lady Congress critter and have to go really badly.
It could get really important then.
Here’s an idea, for what it’s worth, why not make the existing bathroom available to either sex, just like we do at home? It would no doubt save enormous amounts of money as opposed to converting office space with union labor.