Old mine cuts were shaped completely by hand, long before today’s precision-cutting tools existed.