"Mehadrin" in the Hanukkah candles: Text, Halakha, and History