proofalytics permalinks to code broken by hyphens #31
Description
e.g. https://github.com/DistributedComponents/verdi-chord/tree/a79b3e7008feab3e158014bdb2cb494c3aa46797/systems/chord#Lprops/RingCorrect.v for these links
It's probably an awk issue, it looks like it's turning hyphens into colons at some point.