I think plugins might be downloaded and installed before profile loading? It doesn't normally matter whether you put plugins in dev or not, they're on Leiningen's classpath, not your applications

That sounds right