@forest In my previous comment I got this too. I cheated by inserting a zero-width space before the actual leading space, so it looks right; but the extra character is there to be copied, so it only looks right. I believe in a post one can use
<code> of the time</code>.