Opera 8.01 PR1 released, and update on FF

Due to some widespread problems for some users clicking on links, Opera 8.01 Preview 1 has been released. Mainly just bug fixes…

Also, to followup on my previous post, the 05/07 nightly (trunk) build of Firefox now seems to be stabler, and you can at least install extensions, although I think my problems were I was using an older profile; using a new profile, it works fine (duh!).

However, most of the current themes will break. Apparently there have been some changes in that realm, not surprisingly.

But in general, most extensions I use seem to work, although changing Options for them now involves changing them via user.js, as the Options window interaction for a majority of them seem to be buggy. And a few just won’t work (Tab Mix, etc.), including those that don’t conform to having a GUID as their internal ID; the latter is easily fixable by changing it in the install.rdf yourself before installing. But for the most part you can get a good jumpstart with the nightlies if you want.

In general, the speed-up is nice, but the speed of it and that of the UI is still much slower than Opera. Going back…