New Restore Option for Deleted Pens

We updated how deleting a Pen works to make it a bit harder to delete something by mistake. And now there's a way to quickly recover a Pen if you realize you didn't want to delete it after all.