code: String prefix(String s) {
           return prefix(s, feedback.getPre(), feedback.getPost());
      }
docs: Add normal prefixing/postfixing to embedded newlines in a string,
  bracketing with normal prefix/postfix
  
  @param s the string to prefix
  @return the pre/post-fixed and bracketed string