I'm surprised no one else has reported this previously, since I expect the faciltiy is used often, and it's been around for many years.

Your "(Un)archive" default suggestion sounds reasonable to me...without having thought about it too hard.

PS: I note you have appended the title of your reply post with "(probably)". That was the meaning I intended when I ended the original title with a "?".

Thanks.