Здравствуйте! Вряд-ли кто-то сможет дать вам достоверный ответ на этот вопрос. Может быть это ошибка программиста, может быть такое профессиональное сокращение. Это нужно спрашивать непосредственно у разработчиков этой замечательной игры. Между тем, название файла совершенно не меняет его сути, так что, вы без проблем сможете его или заменить на другой уже отредактированный, или отредактировать его самостоятельно.