dotnet-symbol by default only downloads symbols for microsoft binaries. We should explore options for customers that got their builds from RedHat and want to download those binaries.
@tmds - I haven't explored this at all yet. You may already have some knowledge about what is possible today and what could be possible with future work?