"For now I'm deprecating !pumpio from the # It still has usability issues, and as @encycl found out a while back the # is not necessarily so great. I think the problems stem from there really only being a single developer who seems to have largely lost interest or doesn't have much free time (which I can sympathise with). Perhaps that will change in future." https://apespace.org/channel/bashrc/?f=&mid=08075bc172e0687662dbb49b915c396cf16804e7a46a3180f37dd762f365b698@apespace.org&JS=1 cc @question