tracemultiplexer: revise README.md and model program comment header