How to document overloaded labels?

[kindaro]

Overloaded labels look like identifiers with a # hash sign prefix. For example: #showAll. The way they are interpreted is as types of kind Symbol, and this interpretation allows them to be associated with values polymorphically. This indirection makes them sort of invisible — they do not show up in search and index as usual identifiers do.

Is there any way to document a label, so that said label shows up in search and index? If not, would it be hard to add such a feature?

A case in hand is haskell-gi/haskell-gi#334, where there is a very complicated structure of labels.