Con todo esto del cambio de servidor me he encontrado con un montón de ficheros que ya no estábamos usando. Estoy haciendo un poco de limpieza. Entre los archivos llenos de polvo me he encontrado también unas cuantas animaciones en Flash que usábamos hace años. Se supone que con swf2js podemos devolver a la vida algunas de ellas. He hecho una pequeña prueba y parece que funciona, pero no tengo forma de integrar las animaciones en la página, no tiene sonido y no parece funcionar en móviles [github]