This begs the question of whether pub(super) is consistent with pub. pub(super) limits visibility to the parent module in the same crate. Thus, pub(super) isn't public; it's more like java's package-private, C#'s internal, or C++'s "not listed in a header file". It's more consistent for pub(super) to be crate(super).
FWIW, crate wouldn't be my first choice for this-- I'd prefer local (as noted in the RFC), or appropriating internal from C#.