@Santiago Pastorino you're correct that we should state the desired behavior =) I think maybe those should be links to a directory of content or something? They seem to be the least likely thing you would want to click on, but they occupy the main set of space in the sidebar.
I think we've stated the right behavior, maybe the thing is not stated in the issue?
@nikomatsakis ahh yeah, it's explained here https://github.com/rust-lang/compiler-team/issues/153#issuecomment-522007385
ah, nice, missed those comments
indeed that sounds good
I think we should re-order the sidebar, too, but that's separate