Page to formalize how to create a Lace format that is compatible with ECF without breaking compatibility with the Lace format as implemented in version 5.6 and earlier of EiffelStudio.