Thanks for looking that up. I was under the impression that at least kmc is a part of the core team from my chats outside of there (and because he was +o), but it seems like I was mistaken. He was certainly in a position to ban me to shut the discussion down ;)
As for header files, that's just one possible solution (and one that I think would work very well and was surprised to hear had been removed). The problems are there, but header files isn't neccessarily the right solution - it's just better to present a solution than to complain with nothing to suggest.
Heck, I'm +o in there too, but they'd be crazy to put me on the core team. ;) Imagine waking up in the morning to find all their precious semicolons, vanished...
(Personally, I agree that the module system is Rust's weakest point. I have yet to come up with any concrete solution for fixing it; it's a legitimately challenging problem.)
Well, operators have the power to direct the discussion and silence people they disagree with, which kmc has done. Whether or not that's abuse is up to you but it does put them in a position of power among decision makers in the Rust world.
As for header files, that's just one possible solution (and one that I think would work very well and was surprised to hear had been removed). The problems are there, but header files isn't neccessarily the right solution - it's just better to present a solution than to complain with nothing to suggest.