Ensured that GitHub tickets are preferred over mailing-list posts,
for adding new projects to the featured projects list.