[Bug 852716] ENCHANT ORDERING FILE is undocumented