Extra compress kra files for archival

I’m not a programmer, but if you know a bit about it, then in conjunction with @KnowZero’s “Python Plugin Developer Tools” you should be able to easily create such a plugin. GUI included.
It is presented here:

You can download it here:

Michelist

Edit/Add: And you can always ask here in the forum. There is also a Matrix-Chat and you can reach the developers via IRC if necessary.