It seems to me that this User JS Add version to title just meaningless.
It adds Opera browser version number to the title bar after a title of page. So, if you have couple of Opera browsers running you still have no idea which version is some Opera on the task bar.
Even more: you don't need this User JS to do the same job…
All you need is add to you ini file of Opera 8.5:
[User Prefs]
Title=Opera 8.5
…and for Opera 9:
[User Prefs]
Title=Opera 9 TP1
If you want to see which Opera version is it on task bar you need to change one line in that User JS:
[S]document.title += " \xA6 " + opera.version();[/S]
document.title = opera.version() + " \xA6 " + document.title;
