Contributions by Dennis Walsh to the On-Line Encyclopedia of Integer Sequences