mintty: "Alternative font 8" https://github.com/mintty/mintty/wiki/Tips#text-attributes-and-rendering