If a module contains bad edoc, the error will be reported in the selection popup (see the screenshow below).
It would be better not to show this error in the selection popup, but somewhere else. I'm not sure what the best place for that "somewhere else" is.
