Thanks for writing up the PR process. Interesting, and potentially useful in the future.