Jef Raskin, fightin' the fight!