re: #275 Ben Hur

C’mon, this was sarcasm.

No, it was intended to be ironic. Irony does not equal sarcasm.