Thank you for the kind words! Currently it is only possible to export animations either as multiple png files or as a .gif file, with .apng support coming in the next version. Video exporting is not possible at the moment, but we'd love to implement it at some point.