Dealing with broken pipe (not filling terminal with traceback in that case)
Merge commit 'f272517cd24c45dc914b207c28695cfc070dabef' into tIC