pergamon just informed me that Pino (of Pino's fame) just died.