Hi,

Pushed to master as d462ff75f1d5e861e29f981f30dfe119aa4fc972 with minor
adjustments.

--
Oleg