I wonder if this can be `.write_byte` to avoid having to UTF-8 encode the codepoints (probably an unnoticeable micro-optimisations...)