Barrapunto

Creo que deberíamos dejar de fiarnos de las definiciones del diccionario la RAE por su bajísima calidad, que ni siquiera reconoce las acepciones más comunes. Ahora hay alguien más que desconoce el significado de ironía.
Ej: Ironía:
- Acepción 2. Contraste entre dos hechos que resultan ilógicos o incongruentes. "Es una ironía del destino..." (del María Moliner)

En la frase quedaba mejor "ironía", aunque cambiaba completamente de significado. Sarcasmo no pega, ya que no toda mofa es un sarcasmo, y esta no lo es. Por tanto, el que lo escribió quiso decir "sarcasmo", o más bien "mofa".