Add a license check to tidy. #4018