Yes. Forgot to announce that. I could finally find the time to remove all favorites of which the server does not exist anymore. It happened to be undeleteable because there's currently only 1 way to remove a server from your favs, and that's by clicking a link ON the serverinfo page. But like said I could finally bring a lot of records into trash and also could convert all old favorites from FA Recruiting and FA Beginners to the new serverid.

Have fun