We should not expose any Scaladoc from here in our public docs anyway. Either way, we have little choice; upgrading our repl code is a painful process, and we must minimize the changes we make to the base code.