As recommended by @gavanderhoorn in this issue, I created a pull request with my changes. To make the diffs more easy to read, I just changed the files directly instead of creating a separate folder for the port. If someone wants to actually merge this in the future, a separate folder would be a good idea, I think.
As recommended by @gavanderhoorn in this issue, I created a pull request with my changes. To make the diffs more easy to read, I just changed the files directly instead of creating a separate folder for the port. If someone wants to actually merge this in the future, a separate folder would be a good idea, I think.