07:01:16 <zzo38> What should be the suggested file name extension for composite puzzle sets?