Change export format from 0.6 to 0.8 (comments + code)