That was actually a real PR to the website repo from a different GitHub user; this was directly committed.