Bug#606919: DOUBLE PRIME 0x2033 forgotten conversion

[Bill Poser]

Okay, U+2033 is handled in my dev version. (I won't release until I've dealt
with several of these.)

Bill