[JENKINS-23774] Better report the case that the incoming web request has no Referer header set.