[alxndr]

In another comment, derefr points out that GitHub similarly makes you type the name of the repo when you delete it.