In particular `dotnet-symbols` is not needed. See https://github.com/dotnet/BenchmarkDotNet/pull/2117#issuecomment-1650192053