Making Development Enjoyable .. toctree:: :titlesonly: Why do you need an IDE? An Opinionated Take on IDEs Useful Plugins