The patch, of course, is covered by a separate copyright.