Incorrect rendering of documentation for *.txt trace format

[tpajenkamp-dspace]

In the documentation of the trace format *.txt, the delimiter between messages is rendered as two consecutive underscore characters __, but it should be $$__$$, should it not?

OSI trace files (doc)
trace_file_formats.adoc <- compare with "raw"