Terminal Guide
Home
Sequences
Modes
Attributes
Contributing
(used by other terminals)
Set: 4:4
Reset: 24
other
other ( )
mintty: "Underline Dotted"
https://github.com/mintty/mintty/wiki/Tips#text-attributes-and-rendering