Double-clicking on a .btn-ized radio button shouldn't de-select it

Fixes #9920.
Basically #11314, but with more preservation of history.