docs: def write_gzipped_text(basefilename: str, text: str) -> None:
      """
      Writes text to a file compressed with ``gzip`` (a ``.gz`` file).
      The filename is used directly for the "inner" file and the extension
      ``.gz`` is appended to the "outer" (zipped) file's name.
      
      This function exists primarily because Lintian wants non-timestamped gzip
      files, or it complains:
      - https://lintian.debian.org/tags/package-contains-timestamped-gzip.html
      - See http://stackoverflow.com/questions/25728472/python-gzip-omit-the-original-filename-and-timestamp
      """  # noqa
      zipfilename = basefilename + '.gz'
      compresslevel = 9
      mtime = 0
      with open(zipfilename, 'wb') as f:
          with gzip.GzipFile(basefilename, 'wb', compresslevel, f, mtime) as gz:
              with io.TextIOWrapper(gz) as tw:
                  tw.write(text)