There is an option to "Delete client", although no option to delete a user.
Would any tokens need to be revoked for the user upon deletion?
Yup, indeed. Maybe we could use ON DELETE CASCADE to make this less verbose and error-prone.
ON DELETE CASCADE