History tools/find-double-newline.sh