@disasmwinnie @mms @stefano except that in this case, it isn't possible to just install Debian.