While updating it in the debhelp is nice for the Debian package I'd also really like to see a patch updating the files in the repository. Colin, would you mind sending that patch, too?