Didn't even know who Jef Raskin was... now I do. Sorry to hear of his passing, but am thankful for his contributions.