Please, keep this comment, the problem is that `genpatch` removes the manually added comments at the beginning...