5 ms·launchpad.net seems to be down. edit: Using Google public DNS fixes things.by CarVac 10y agolaunchpad.net seems to be down. edit: Using Google public DNS fixes things.