Ich weiß, was es bedeutet, aber mir kommt es jetzt nicht so vor, als würde man das Kürzel häufig verwenden. Daher würde es mich auch nicht wundern, wenn das viele nicht kennen bzw. noch nie gesehen haben. Ich bin da eher so Sachen wie „ironie off“ gewöhnt, auch wenn das jetzt ein Unterschied von der Bedeutung her ist.