Version 0.9-43 now uploaded to devel with following changes:
* these settings are now saved and loaded individually per theme: font size, widget opacity, top menu opacity
* changed bugtracker address
* simplified the customizer shell script a lot