I had no idea about that line number definition thing. That's pretty cool!

You didn't say it explicitly here, but it's probably best to remove the line number definition before making a patch, if only because adding lines to the header at the top of the file later will make it have the wrong value, which will be confusing if someone forgets to update it.