I like the thought of having the buttons even closer together, but I’ve never actually tried it of course.
More switches, pushbutton or otherwise, being sold separately in our favorite stores would be great.
I forgot that the pin on the RG switch isn’t the same as other switches.