Andrew S. Tanenbaum, Todd Austin