Remove button missing for self-hosted runner in private repo

I added a self-hosted runner and want to remove it again. The help page on Removing self-hosted runners - GitHub Docs tells me to press a “Remove” button but that does not exist on my Settings page (settings/actions/runners). How can I remove this runner?