How to remove user from organisation on CircleCI (already removed from Github org)

We have removed a user from our organisation on Github, but (4 days later) they have still not been removed from our CircleCI organisation. There seems to be no way to do this from within the UI. There are a number of other threads asking about this (from Jan '16 to Dec '18):

However, it seems that the only way to do it is to put in a support request. This is not very scalable and pretty slow. Is there no other way to remove users from an organisation?

https://discuss.circleci.com/t/how-can-i-remove-a-user-account-from-our-organization/23536
https://discuss.circleci.com/t/users-removed-from-github-organization-still-on-circleci/27201

Hi Owen. Is this a public project? The team list only shows people following a project for the org, and if it’s a private project they will be force-unfollowed on the next permission check when they go to view it