/debian-laptop.gmi is gone

See /debian-laptop-install-log.gmi