New version, correcting V7.2 anomalies with some new functionalities (see here).
Known bugs of this version: none