Indeed, but the article you reference is about typesetting, not typing. Schools were still teaching the double-space typing method well into the 90's (and prob

Indeed, but the article you reference is about typesetting, not typing. Schools were still teaching the double-space typing method well into the 90's (and probably beyond), so if you're building a product for people who type and are potentially older than 30, it's probably a good idea to account for the fact that they're likely to type two spaces after a period.