This is an irrelevant comment, but I miss the classic O'Reilly font.