On network admin, I see the option to ban a user. also the option to remove.

If a user is banned, then removed, does removing the user just boot them from the network? or does it remove/delete the record of that user from history and then effectively remove the ban?

tested on an unsuspecting user...

as suspected, if user is set to banned, they have to stay on the user list. If the user is "Removed" the ban setting is also removed and they can rejoin as normal.

That is how it should work. The network can only remember bans in its list.

I was assuming that too. Just wondering if there was a separate ban list. On other apps like tixati, banned users stay on the user list while others can expire and drop off, depending on the auto-sweep settings