There are 2 options we can explore. First like you mention using the symbol server. Second is to separate our pdbs into a different package so you don’t have to download them by default. If we did that then providing full symbols would probably be valuable.
Comments: In the 2.5.0 release we changed how we generate packages and split them out based on platform, toolset, etc... Full symbols are now included in each package.
Comments: In the 2.5.0 release we changed how we generate packages and split them out based on platform, toolset, etc... Full symbols are now included in each package.