This can be reproduced by searching for "IWorld" on cloogle.org.
After clicking the link "Did you mean... IWorld (including core modules)", nothing changes except the url.
I would expect the definition of :: *IWorld
to be listed after clicking the link.
N/A
N/A