diff: document the format of the -O (diff.orderFile) file