Forgot to login. Anyway, I guess this still qualifies as a temporary solution. I wish someone with coding skills and way too much time on their hands would fix some sort of tool to convert old posts in the DB to the new encoding… but I guess that’s a low-priority issue.
By the way, I’m not a “she” :p
