currently I was using 1.8.5 (portable), now I want to upgrade to 1.8.8
I downloaded 1.8.8 zip (non-admin install)
after extracting, should I better
a) copy my old 1.8.5 portabe folder into the new 1.8.8 arduino folder, or
b) copy the new 1.8.8 arduino folder contents into the old 1.8.5 arduino folder
?
I definitely do not want to have to reinstall all my actual board cores from ESP and Adafruit boards anew...