When installing a zip file from source the zip contents are unpacked to your .MPS/config directory.
For example in windows your plugins are located in C:\Users\me\.MPS32\config\plugins
Where are my JetBrains MPS plugins installed?
Published by klemensschindler