For a long time now I've had a registry file to make context menu entries for WinDbg. The entries allow you to select the x86 or x64 debugger. Internally at Microsoft, I have another version of the registry file that contains two more context menu entries for the private symbol server. You can see all...