[minor] Can you move it into the alphabetically correct location when you merge? Let's first of all see what the PR builders say, though.