Text this: Martin Gardner in the twenty-first century