 https://www.gitpod.io/docs/40_Configuration.html This got broken when we updated the URLs on https://gitpod.io 
https://www.gitpod.io/docs/40_Configuration.html This got broken when we updated the URLs on https://gitpod.io