docs: def patch_compat(config):
  	"""
  	Support older config values.
  	"""
  	if 'web_host' in config:
  		config['host'] = config.pop('web_host')
  	if 'web_port' in config:
  		config['port'] = config.pop('web_port')