So am I premature in thinking this has fixed the "pushing key once causes multiple repeats" bug (#2723)? I can't reproduce it after upgrading.