¿Qué fue de Clippy?

¿Qué fue de Clippy?