Spotlight in devtools

[vaind]

Problem Statement

Looks like we can now add custom tools to devtools - how about we add Spotlight there?

See https://pub.dev/packages/devtools_extensions

Solution Brainstorm

No response

Are you willing to submit a PR?

None

[buenaflor]

sounds cool, dunno tho about the effort for this / if we need to involve the spotlight team