I just updated to the most recent Devel 7.x-1.6 and Krumo Search no longer works--no Search field, submit button, or the Get Path buttons.
It appears that devel_krumo_path.js was renamed as devel_krumo.js.
Patch to follow.
Not all content is available!
It's likely this issue predates Contrib.social: some issue and comment data are missing.