- beauty contest
- Removed the extra_settings attribute the Extensions class. The main
settings are now stored as settings of the 'Core' extension.
- Some small updates on the I/O interface to better read/write settings