Simple scripts and custom webpi feed to automate devbox setup.