Don’t remember padding being there (I’m old) but indeed, export seems to be broken, it just generates an empty file.