(A masterclass in killing a bug using a sledgehammer...) Recoded the way that Graph Editor keyframe selection works, replacing the old penalties + closest vert system with a selection queue. Perhaps the sensitivity tolerance for picking up when a vert is clicked on is too sensitive now, but this can be fixed easily.