On: Count to ten when a plane goes down

[alxndr]

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