chiark / gitweb /
umount: assume that a non-existing /dev/loop device means it is already detached