--- Comment #1 from Heiko Tietze <[hidden email]> ---
Clearly a bug, don't see a reason why radio buttons should become disabled.
Another issue is the background of HTML Source mode, which takes the system's
bg color instead the application white. But it doesn't use the system font, so
black on dark is barely readable.