Sorry, my title change did not take affect. We need to disregard the suggested solution and focus on why this bug exists; users need to provide example terminal commands in comments. The solution may be a text formatter like the used used to format quoted text. Those paragraphs would be given a different class. I this is not easy since we need a constant identifier for the command, and the out but cannot have blank lines. We may want a solution where the user can explicitly indicate the terminal text.
Sorry, my title change did not take affect. We need to disregard the suggested solution and focus on why this bug exists; users need to provide example terminal commands in comments. The solution may be a text formatter like the used used to format quoted text. Those paragraphs would be given a different class. I this is not easy since we need a constant identifier for the command, and the out but cannot have blank lines. We may want a solution where the user can explicitly indicate the terminal text.