I tried animation in ibisPaint X again, and I can get it to export a single frame only. Either I’m doing something wrong, or the file export is broken on the iPad 9th gen. Frames can’t be exported as single PNG files either, so it seems a lost cause to try and animate with this painting app.