[profiler] Use version 11 for the 4.2 profiler changes plus fix docs on format.