Quandles as pre-Lie skew braces, set-theoretic Hopf algebras & universal R-matrices | Synapse