After successfully debugging my plugin, I tried to publish it.
I followed the instructions here:
and made a jar file, no problem.
Then I want to IDEA settings and added the plugin using "Install Plugin from Disk" and restarted IDEA.
But once, relaunched, my plugin was not listed in the Tools menu where I expected it to be (and where it was when testing in debug mode). Any suggestions how to properly export my plugin?