* Qt4 migration: still far from complete, the .ui files got shaved with special regard to some redundant or duplicated signal/slot connections and to the options dialog font aesthetics as also other minors.