That’s currently how it’s set up.
I think it is a little unusual that they appear in the big list even though they can’t be searched for, so it may be worth a Contribute > UX topic to see if that can be tweaked if you did want to go that route.
I think this is how a few sites handle off-boarding paid members (and/or employees), so I think it’s worth a test run to see how you like it. ![]()