DevTools is Part of EDU.foo