docs: def escapePathForShell(path):
  		"""
  		Escapes a filesystem path for use as a command-line argument
  		"""
  		if platform.system() == 'Windows':
  			return '"{}"'.format(path.replace('"', '""'))
  		else:
  			return shellescape.quote(path)