code: function (sPrefix, aPaths) {
  			var sPathPrefix = sPrefix + "/";
  
  			if (sPrefix === "") {
  				return aPaths;
  			}
  
  			return aPaths.filter(function (sPath) {
  				return sPath === sPrefix || sPath.startsWith(sPathPrefix);
  			}).map(function (sPath) {
  				return sPath.slice(sPathPrefix.length);
  			});
  		}
docs: Strips the given prefix from all given paths. If a path does not start with the prefix,
  it is ignored (note that "A" is not a path prefix of "AA", but of "A/A").
  A remainder never starts with a slash and may well be empty.
  
  @param {string} sPrefix
  A prefix (which must not end with a slash); "" is a path prefix of each path
  @param {string[]} aPaths
  A list of paths
  @returns {string[]}
  The list of remainders for all paths which start with the given prefix