We might upload this plugin to JetBrains repositories, following the steps defined at: https://plugins.jetbrains.com/plugin/add/idea
