Sort:  

Thank you. I don't like to resort to the Edit/Save trick much... but I don't like bothering the Q team, either... ah well, I guess I'll try the Edit/Save trick first next time.

It's no bother :)
Hopefully there will be no need since we are updating the bot, but in case something like that happens again the edit/save should help.