That's OK, we can wait on a PR until the change happens. In the meantime, everything is official and available at OTC.