Hi, I've pushed the latest version based on this proposal and kept author header: master origin/master 9ed9dada4eb021844ee69effca197b390b4f17a2 -- Oleg