+version 3.3:
+* add support for Opera Mobile
+* fall back to the built-in default if the user's configured default browser
+ isn't installed
+* introduce a command-line config utility; this is mainly intended to give
+ browser vendors a way to set their browser as the default
+* provide a description for users who don't know what MicroB is; thanks
+ Emanuele Cassioli for pointing out the need
+* major rewrite of configuration loading/saving code
+