as timestamps need to be of fixed width, it should be possible for the user to select a monospaced font for timestamps and a nonmonospaced font for primary text.
It's a bit quiet in here.