Los .mng somo como .png pero animados (una especie de gif animados, pero con más colores, ya que el .png permite millones de colores si se desea).

Hay packs rulando por ahí donde se incluyen los "videos" como .mng y el audio como .mp3. La razón de usar estos "videos" supongo que será porque no tienen pérdida de calidad y no son necesarios codecs instalados ni historias raras para verlos.

No se qué otros front-ends los permitirán, pero advmenu, si lo hace.