There wasn't any double spacing in the post--only in the title of the post...I'd pasted that in as an actual example. The default is currently at 'normal' re the character spacing tab and must have been so for at least a month. Don't think it was the spacebar sticking for the same reason.

It isn't a critical problem obviously but it is weird and it makes me curious.