(Ah, much like `remap_characters` is implemented below.)