Also, please wish me luck for the appointment I have at the dentist in 1 hour to remove a wisdom tooth. It's not causing me any pain, so hopefully the nerve is dead, but it is falling apart. I still expect to be sore as it's quite a fiddly place to extract from, though.
I didn't need any antibiotics and it's not been bleeding too much, either. So thanks for all your good wishes!
Hmmm... what's happening I think is that when you just type the character, your browser is sometimes sending it in an ISO-8959-1 encoding (which my script transforms correctly into the appropriate 7-bit clean HTML encoding) whereas other times it decides to go down a two-byte UTF-8 route. It's not clear why it would choose one rather than another. I shall try and see if I can get this server to ask your browser always to use ISO-8959-1 (which will mean people typing in Mandarin will become unstuck); if not I shall investigate PHP's abilities to look at what you send and see if it can do the transformation properly.