Op here: sorry, we got a little back logged processing the PRs when we hit the front page, and also because of exactly this username merge problem (whoops).