`__del__` makes me nervous, because one never knows when it will be called. Someone could be hanging onto a FormattingString, which holds a ref to the Terminal that birthed it. Then, when that string's refcount goes to zero, suddenly we start frobbing terminal flags.