Flummoxed by IT: How to set up proxy for Jupyter notebook