are the teams of users who are banned, but where the team is not yet a bot, get relegated in bot-relegation?
However, only now I realize that the team that was not promoted is now managed by a computerized player. Maybe it was already bot-controlled at the end of the season, but that would be really strange.