I'd argue that devops is somewhat more important than names, which crablang does seem to be addressing pretty quickly - the whole rustup workflow seems to be wo

I'd argue that devops is somewhat more important than names, which crablang does seem to be addressing pretty quickly - the whole rustup workflow seems to be working, which is a big deal. Names will follow as names deem fit, especially when Rust leadership (following the latest issue, that is both the foundation and the project leadership) keeps making terrible decisions and terrible reparations.