Thanks, and yes of course I get the notion you disagree, but if having a menu option to restore hidden is the answer to obviate the undo feature for hide keep on server, why is there also restore option for delete in the menus?
We are an undo short!
Please don't mix up different types of user actions:
Restore (of already deleted = moved to Trash or hidden messages)
vs.
Undo (of the actual initiated action: deleting, archiving, moving, )
If you have deleted (= moved to Trash) some messages in the past, say two days ago or so, and you want to get a few of these messages back to the former folder(s) then the 'Restore' option is very useful.