While reporting a separate bug, I elected to pipe my report message to a
pager to re-read it, and encoutnered a crash saying:

    BrokenPipeError: [Errno 32] Broken pipe

To reach this state, I had attached a file (a), piped to pager (l),
deleted the attachment (d), included the file as a text file (i), and
attempted to pipe it to pager a second time (l). The full logs are
attached to this bug report.