Cannot restart the development environment

General
1

this is no longer reproducible
Installation on Ubuntu 24.04
devenv up fails to restart the development environment after OS reboot.