tracemultiplexer.py: add more explanation in comment header