It's a pity that Hector Martin stepped away from all this great work (under that name, anyway)