I am not affiliated with Microsoft and I anal but I think dev box is fine. What we want to avoid is the term dev containers.
There has to be a better way to phrase this
Both projects even use devbox.json for their definitions, for crying out loud. If your usage is not compatible with Jetpack's devbox.json, please switch to a different filename ASAP.