A Life in Craft: Celebrating Ernest Batchelder (1875–1957)