Make more space for GitHub stars.