[robin_reala]

If it’s anything like the existing developer tools it’ll be fairly hidden and lazy-loaded when needed. I wouldn’t worry too much.