Patch pushed as 880390140e272b05cfec14c684c658616a9b4a3e with a few
modifications (added copyright line and file-name field, modified
synopsis and description).
Thanks.