Adding new entries at the bottom is tempting, but increases the risk of merge conflicts between unrelated PRs. Let's use alphabetic order instead.