lo and behold;
I discovered something new today: you can drag the radio panel to enlarge it!
It's probably me, but I never knew this.
I guess I regarded it being similar to the docked Tag Editor panel.
A request following on this:
Having a bdr element for the radio panel to help making users aware they can drag it.