Randomized Distributed Edge Coloring via an Extension of the Chernoff--Hoeffding Bounds | Synapse