Argh! The Debian installer worked perfectly, but the installed system was fail: no network drivers for wired or wireless, no X, … After several hours of frustration I gave up and installed Arch Linux. It’s not bad! The installer is a little more primitive than Debian’s, and it dumps you into a terminal without X. Managed to get X working with the proprietry Nvidia drivers and the xf86-input-synaptics package for the touchpad.

Will report back when I’ve tested more things.