I've seen a question on the GitLab forum
[https://forum.gitlab.com/t/deleting-personal-access-tokens-via-the-api/50382?u=dnsmichi]
about managing Personal Access Tokens (PATs) with the API
[https://docs.gitlab.com/ee/api/personal_access_tokens.html]. While trying
things, I had a peek into filtering the output and