-
Type:
Improvement
-
Resolution: Unresolved
-
Priority:
Normal
-
None
-
Affects Version/s: None
-
Component/s: Guess case
-
None
It already attempts to clean up variations of #' and #'' to #", but replacing these quotation mark variants with the Unicode double prime symbol (″) would be even better.