chiark / gitweb /
basic/rm-rf: allow a symlink to / to be removed