Loss of connectivity to 80.0.0.0/8, Friday 29 Apr 2016 (Was Re: [bitfolk] routing problems, or is it me?)