Fixes #110: slow on large todo.txt