Whoops, the pool6 archival stream was down for a while. It’s croaking again now.