v8.1.0129
668324ef · patch 8.1.0129: still some xterm-like terminals get a stray "p" ·