Open
Description
On https://doc.cocalc.com/teaching-tips_and_tricks.html#delete-and-undelete-students it says to show deleted students, there is a button at the bottom.
I just saw it's a link-text at the top right, probably easier to find, but the docs should match at least.