Comment by jwr

Not really, because I no longer remember. I only remember bugs and frustration. But I looked at my code quickly and found this:

;; Let's render radio buttons ourselves. Because of bugs in React and Chrome, radio buttons mysteriously stop working.

;; https://stackoverflow.com/questions/48423061/radio-buttons-n...

;; https://github.com/facebook/react/issues/3446

followed by my own implementation of radio buttons, followed by:

;; Original implementation, to be used when radio buttons actually work:

followed by an implementation using an input of type radio, commented out.