--Hamster (talk) 16:48, 21 October 2016 (EDT) Is this still up to date? I cannot reach any of the given IRC servers. Has IRC been discontinued completely for flightgear?