oeis.org is down! HOW WILL I COPE?