I cleaned up a bit the patch (removed unnecessary comments) and added
the copyright line.