Double spaces was the norm for English. I understand it is considered mostly obsolete nowadays. It has not been the norm for German ever. Edit: Related discus

Double spaces was the norm for English. I understand it is considered mostly obsolete nowadays. It has not been the norm for German ever. Edit: Related discussion: https://news.ycombinator.com/item?id=22975299 https://news.ycombinator.com/item?id=22975299