* 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.