Hello! Thank you for the kind words! Gif exporting was a feature implemented by our contributors, so we can't directly help you. If you want, you can open an issue on GitHub, so the contributors can see it.
