allow iso build with docker
the most relevant feature of this PR is that the build process works with docker; so helps users with ubuntu, etc. to build the workbench
we noticed (reporters: @rskthomas @sergiogimenez ) that…
workbench_debug.iso vs workbench_production.iso
UI corrections related to issue #28
Hoy 2025-02-04 hablábamos de
Add Placeholder -> Add Device -> Add Item
(pero la discusión se habría a cambios más generales del menú)