i would like to install another instance of the IDE, version 1.8.12 and install in it the new STM32Duino package.
I have read several opinions about doing so. In general it is advised to use the ZIPped IDE downloaded from the Arduino.cc website, and to configure it specifying a different directory for the sketches.
Unfortunately,there remains a directory that I cannot change, which is
This directory contains parts of the package. I am afraid of having a mixup even if I install the IDE in a different directory, since the Arduino15 directory seems to be a fixed name. So I am interested in your experience on this topic.