[galaxy-dev] Permanently deleting users from a Galaxy instance