Zac Hatfield-Dodds comments on gilch’s Shortform

[Zac Hatfield-Dodds]

Oh yeah. My personal favourite is the NFKD-normalization of identifiers, though I haven’t built that into hypothesmith yet.