Investigate code mining

Eclipse provides a code mining extension point which can be used to decorate the source code with different kinds of extra information, like reference count or git info. A screenshot from an eclipse plugin with code mining:

We should investigate this feature. ideas for code mining usage:

• reference count
• git commit information for the line under the cursor (like vscode gitlens)