Comment on What is the point of abbreviations for short words when they do not reduce times significantly when you type?
Bah! I knew it didn’t look right when I wrote it.