Niiice, I'm glad you made it and that I was able to help! It's really funny that your comment came in right after some other dude wrote to me that nix is dying because of drama articles.
I haven't heard of devbox before. Why choose it over nix develop?