So! We have a rustdoc book here for rustdoc users: https://doc.rust-lang.org/rustdoc/
this book is obviously for hacking on rustc, but the docs team would also like a “rustc users manual” as well. To match up with our other tools, that would go in https://doc.rust-lang.org/rustc.
Does anyone have any thoughts about this? To me, this feels like a distinct project. Once we move the “rustc hackers book” into the repo, what URL should it have?