$ git grep virusrelease still produces the same list so we are still not using it for anything - so could be removed.
$ git grep virusrelease
still produces the same list so we are still not using it for anything - so could be removed.