Strip non-ASCII characters from heading links, to be consistent with GitHub