Electric double layer of Pt(111): known unknowns and unknown knowns