Review: DevTools API (fix #37)