.gitignore update.
Some further work on kill_if logic.