@arduino the instructions to set up AppLab are also wrong. They provide a command line to install the dependencies on Arch base systems, but completely fail to mention that "dialup" is called "uucp" on these systems.
Also: is there ANY way to access the bootloader/console of the Linux? Using a USB-C docking station I get a brief glimpse of the kernel booting and then end up in lightdm.
Not helpful if your keyboard is not working!