devtools

d2b90eed - Use the default Flutter service worker instead of our custom service worker (#5331)