Hello! We are really glad you like it! Unfortunately, there's no way to export as .gif as of right now. Unless we find a way to add it in the future, your best hope right now is to export it as .png and then convert your animation to a .gif using some external tool.