Abbreviations are mis-transliterated in Wiki page names
A significant fraction of the pages in the Status/
wiki namespace are mis-named. Specifically, the string GHC
is transliterated as gh-c
. For instance, Status/GHC-7.10.3
is translated to status/gh-c-7.10.3
.
I suspect this isn't worth fixing as it's quite easy to fix-up post-facto but I thought I should at least record the infelicity.