Draft of a help page for setting up IDEs with Pants: https://www.pantsbuild.org/v2.5/docs/setting-up-an-ide