Can I change radio button text?
[Edit: I'm using Opera 12.16]
Thanks, sgunhouse. I had no luck with that particular file but got me searching and eventually found it in the main Opera folder where language texts are stored, which for English is:
[Opera program folder]\locale\en\en.lng
I guess they were never meant to be 'official' user preferences, which makes sense, but can be changed anyway.
Maybe the easiest is to add a new button with the title you want.
The first one is "Jscript" as you asked, the second one is just "JS".
(Copy & paste the code in your URL field, then click on the link of the error page to add the button)