3 ms·

Man pages on some unixes (inc macOS) still do bold-type this way. It’s literally a char(8) backspace followed by the previous character again.