Or maybe I should add detailed instructions in this doc about how to open a PR. Do you think that belongs?