matching the text editor’s font with the one I’ll be using in print has been provenly increasing productivity by 300%