v8.1.0082
1d4754f9 · patch 8.1.0082: in terminal window, typing : at more prompt, inserts ':' ·