Don't enforce 80 char width. Annoying for editing
dblchk-echo(), shell function that reads twice and echoes a match