Anyone here using a JetBrains IDE? I've been working on a couple of plugins and wanted to share them. One helps manage stacked PRs visually, and the other is a to-do manager with a bunch of useful features. They're both open source and completely free, but I'm not sure if sharing…