Hi,

Pushed as 693037101bbacb8de03457bbd3b231e1897c7b37 to master with minor
modifications.

--
Oleg