new plugins for web dev, colors, and python indentation, no need for static files anymore!