docs: def ask_user(prompt: str, default: str = None) -> Optional[str]:
      """
      Prompts the user, with a default. Returns user input from ``stdin``.
      """
      if default is None:
          prompt += ": "
      else:
          prompt += " [" + default + "]: "
      result = input(prompt)
      return result if len(result) > 0 else default