Thank you! I tested OGG export in an earlier version, but couldn’t make it work properly for seamless loops, the encoder adds padding which can cause clicks at the loop point. I decided to keep only WAV since it’s lossless and works reliably. MP3 has the same issue.
EDIT: But you can convert to other formats with different tools, it might work better that way.