There are two types of people in this world: Those who delete trailing spaces, and those who do not. (Perhaps there’s a third who don’t know what a trailing space is.) (Also, those who say ‘delete’ to describe removing a previously typed character, and those who say ‘backspace’.)