Dear Carl, Submitting patches via Trac is perfectly fine and a valid option, I just wanted to say that submitting a PR makes it much more visible, easier to review, test and more likely to be merged (orders of magnitude?) faster. I would make a single pull request with 9 commits, one for each port, given that they are somewhat related. Mojca