>
> It might be something fishy with my machine, with:
> python -c "print('0'*4097)" | tr 0 1 | head -c 10
> I get the broken pipe on my laptop, but on none of my other machines running arch...
Can't reproduce either (also on Arch), so +1 that it is a specific issue
of your machine.