Re: [math-fun] Online Encyclopedia of Character Strings