I suspect they also really wanted the rot8 -> "rotate" joke. AFAICS, it's actually using decimal 8000, not 2^16/2 = 0x8000, so I don't really understand how th

I suspect they also really wanted the rot8 -> "rotate" joke. AFAICS, it's actually using decimal 8000, not 2^16/2 = 0x8000, so I don't really understand how this is reversible at all unless they're just subtracting it back. What we really need is rot88000h for the full U+0..U+10FFFF range. :)