devtools

127c79ef - Fix doc formatting and clean up dynamic in devtools_shared memory classes (#7870)