> Is it a problem to make a patch for Debian? Of course not. But since this is not a debian-specific issue, it seemed worth bringing onto the list. Ben.