Remove Anonymous workspace from ADS added by LoadInstrument. Re #5417.