Default policy of my editor: strip all trailing whitespaces. Any reasons to keep them?