Review of the KL → μ+μ− puzzle