Implement user deletion in /users

Also, this means deciding:

  • what happens to the user's uploaded run summaries (should they be deleted as well? should they be hidden?)
  • what happens to the user's user ID (can it be reused by someone else or not?)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information