docker/dev-envs-extension not found