This is really minor but it's also spooky/weird to me so I want to write this down. If you hover over a reference to a module, we know that it's of type module:

If you hover over a module in an import, we don't:

Specifically GotoTarget::inferred_type (goto-type-definition) doesn't work on this symbol, while all the other goto-/docstring features do.