on my branch wolfgangFormat2CSS_2 i have added an experimental setting, to change the filename of the generated manifest files (checkin [9978d2aba6]).