Hmm, any idea why this stuff shows up in here as well, even though the stuff from that pull request has already been merged into develop?