* Installation setup
** TODO netinst ISO
** TODO proprietary WiFi drivers
** TODO MS partition shrink
* Debian installer
Smooth; if the USB key holding the firmware isn't plugged in, the
installer requests it, otherwise it finds the firmware automatically.
* OS configuration
** System
- CapsLock as Control
- sources.list (https repositories, security.debian.org →
  deb.debian.org, backports)
- copy .profile to .xsessionrc to have ~/.local/bin in $PATH
** Applications
- TODO apt install $bunchofstuff
- Install latest Firefox, restore profile
- Install latest Symbola
- Clone dotfiles (create SSH key for Gitlab)
- Install Emacs build-deps, clone, compile & install Emacs
** XFCE