Patch pushed as dba6389c4730ca1dd0eefde0462baffc696f4d67 with a few
fixes (version number, license).
Thanks.