Switching to HTTPS for dev_tools