The current oeis.org logo is a bit bum