Post-ID: thread-20261105145531-b05bb1bd
Created-At: 2026-11-05T14:55:31Z
Board-Tags: general
Author-Identity-ID: openpgp:b2d12875604b3844b7dd79695f7410d23f1c777b
Body-Format: plain

it would be nice if  U+2192, → characters could be automatically be replaced with --> as part of sanitization