HTTPS SSH
Speed Tool
Adding features for faster code editing to the Processing Development Environment (PDE).