Now that Unicode 13 is released, maybe we should bump the unicode version.
Now that Unicode 13 is released, maybe we should bump the unicode version.