chiark / gitweb /
run_directory: add final warning before removal