I’ve also consolidated some terminology to be more consistent everywhere: “Archive” is gone and has been replaced by “Deleted”. You can still permanently delete articles so that they don’t even show up in the “Deleted” section — just find them in the Deleted section and hit the red “×” button again.
No no no… call it archive, please! Not delete. Except this, great to see the birth of the starred category!
