[#6699] make instrumentation extensible; refine mongo instrumentation
6 files changed