Thanks, I will try this.
Luck, I've found an old notebook that has the Digistump still installed, and will try to compress and copy the folders:
/$HOME/arduino-1.8.19/ (installer folder)
/$HOME/Arduino/ (sketch location)
/$HOME/.arduino15/ (binary install folder)
Hope this works!