docs: def strnumlist(prefix: str, numbers: List[int], suffix: str = "") -> List[str]:
      """
      Makes a string of the format ``<prefix><number><suffix>`` for every number
      in ``numbers``, and returns them as a list.
      """
      return ["{}{}{}".format(prefix, num, suffix) for num in numbers]