Gathering detailed insights and metrics for jotai-devtools