Switch to @types/react-inspector ?

[jtpio]

Types for react-inspector were recently published on npm: https://www.npmjs.com/package/@types/react-inspector

Maybe worth considering switching, although they don't seem to be exporting the Theme interface and appear less complete than https://github.com/vidartf/jupyterlab-kernelspy/blob/master/typings/react-inspector/react-inspector.d.ts

[vidartf]

I guess a decent resolution would be to upstream the typings to definitely typed.