Add useful info in comments produced by exportToCamb