Import extensions from inform7.com prior to update to 6L02.
Compatibility updates for 6L02.