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