Devbox: turn a 1000+ container script into <10 lines

After moving from a Docker container to the containerless Devbox shell, we freed up CPU usage and multiple gigabytes of memory on our computers.