docs: def indent(lines, amount, ch=' '):
      """Indent the lines in a string by padding each one with proper number of pad characters"""
      padding = amount * ch
      return padding + ('\n' + padding).join(lines.split('\n'))