Ok, I figured that it's not actually the servers having vanished. Instead the layout of the "Connect" menu changed.
However, my credentials on IGS were deleted in qgo and I had to readd them manually in the new menu (luckily I could still remember them). A migration path would have been nicer. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org