ખાણ દસ્તાવેજો અને સેટિંગ્સ હેઠળ હતી.