Hi Fede. How did you do it? I have followed all the steps in the github web and I do not find the option in the dropdown menu "tools". As the instructions say, I have created a "plugins" folder on my windows home directory /.arduinoIDE and reopen the IDE and... Nothing.
How does the option must be shown?
Thank you.