Грузится ли медленно он на самом деле, не знаю. Это с чужих слов. Для себя стало интересно, возможно или нет такое сделать на html/css. GIF же будет на всех устройствах корректно отображаться? Значит это решение проблемы с кроссплатформенностью. А как перегнать флеш в GIF?
