Clippy was the nickname people gave it.

This fight was lost long ago unfortunately.