docs: def _GetRelPath(self, filename):
  		"""Get relative path of a file according to the current directory,
  		given its logical path in the repo."""
  		assert filename.startswith(self.subdir), (filename, self.subdir)
  		return filename[len(self.subdir):].lstrip(r"\/")