How fast are Linux pipes anyway? (2022) - eviltoast