doc the orion.context.path option in web-ide.conf