GitHub Next Project: An agentic dev environment, designed for everyday tasks.