[developers] Re: Alternate file format. Was: Debug file?