I’m planning to put Debian-based operating system onto my Surface Laptop Gen 1, following the guide (linux-surface). Any good Debian-based Linux recommendations? For now I’m considering AntiX (lightweight debian) and normal Debian.