There is an error in link rewriting of GitHub links. “master”
is automaticall replace by version by some robot.
But only inside the link text and not the link itself. Happened
today multiple times in this post #12.
So when clicking on the link, it still sends me to “master”,
which is Ok for me, but the link text is wrong.
Is this some plug-in that does this? Is this a known bug?
Can this robot be disabled?