Since #4120 was auto-merged: we don't have an automatic check for license headers. (Even better: it should auto-apply.)
