question: public static String formatDocString ( StringLiteral docstring , DocStringOwner owner ) { String raw = docstring . getStringContents ( ) ; String [ ] lines = raw . split ( "\n" ) ; StringBuilder output = new StringBuilder ( ) ; output . append ( "<pre>" ) ; int initialIndent = - 1 ; for ( String line : lines ) { if ( initialIndent == - 1 && line . startsWith ( " " ) ) { initialIndent = StringUtil . countChars ( line , ' ' , 0 , true ) ; } line = trimStart ( line , initialIndent ) ; if ( ! line . isEmpty ( ) ) { output . append ( line ) ; } output . append ( "<br>" ) ; } output . append ( "</pre>" ) ; return output . toString ( ) ; }
target:  For now, present docstring almost verbatim, with a minimal indentation handling. 