use `str.rawLength()` in some places, so printing/selectors will correctly process...