I have to agree with you on this one. The order of the PRs not only doesn't matter, but the website being updated meant they had to put out a PR ASAP, like you said. They didn't have much of a choice.