Make dependency source use superscript tag instead of special characters
Recently introduced dependency source indicator (0a7b0295) is a good feature. But currently it uses special Unicode characters and requires an appropriate font. And can force the font to be different from the rest of the text. Not saying that such Unicode-wide font may not be present in some users system at all.
For example how I see it now:
Breaks into two different fonts.
I suggest to use <sup>
html tag instead of relying on special characters.