In addition to deleting users by username, it should actually be possible to delete users by IDs via the console. In fact, this might actually be safer when e.g. running this for a larger list.