Broken pipe on `yay` update

According to the forum post Broken pipe error it is pretty harmless. On that basis, when I saw the same thing a few weeks ago, I rebooted and all was fine.