Full threadvuldin·Double spaces are a pet peeve of mine. I remove all of them in any document I must edit and I'm quite thorough.View on HN