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. :)