Manage other user's personal access tokens

We want to keep a user in the system that is not active anymore (At least for now). They shouldn’t be able to log in with oath2, but if they created a PAT, they would still be able to access everything. Is there any way for admins to manage/delete PATs that belong to other users?

No need to see the actual token, just see which tokens they’ve created and delete/deactivate them.