Contributors to Comments on 2019-06-24 org-agenda-todo-ignore-timestamp vs org-agenda-todo-ignore-with-date