* Preparing for installation
Using instructions from <https://wiki.debian.org/Firmware>.
** Get netinst image from <https://www.debian.org/CD/netinst/>
** Get firmware archive from <https://cdimage.debian.org/cdimage/unofficial/non-free/firmware/stable/current/>
So that the installer can use the wireless network card.  Extract all
.deb files to a top-level =firmware= folder on a USB key.
** Shrink the MS partition
Had to "optimize the disk", otherwise some free space remained
unavailable.
* Debian installer
Everything went smoothly:

- if the USB key holding the firmware isn't plugged in, the
  installer requests it, otherwise it finds the firmware automatically;
- Secure Boot supported transparently;
- dual-booting too.
* OS configuration
** System
- CapsLock as Control
- sources.list (https repositories, security.debian.org →
  deb.debian.org, backports) (non-free repositories were automatically
  added during installation, because of the WiFi firmware I imagine)
- 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
** TODO XFCE