I agree it can be frustrating; the bot does seem to need tweaking. The first issue was only closed two days ago and presumably it'll be reopened since it's eff

I agree it can be frustrating; the bot does seem to need tweaking. The first issue was only closed two days ago and presumably it'll be reopened since it's effectively by design. The second issue you linked was not closed at all, and in fact looks to be been acknowledged. I don't like to nit pick but this just proves that the statement is indeed hyperbole: the Signal devs are paying attention, tickets aren't always closed and when they are closed I almost always see them re-opened.