[O] org-agenda-todo-ignore-timestamp vs org-agenda-todo-ignore-with-date

[Marcin Borkowski]

Hello,

I vaguely remember asking about this some time ago, but could not find
that thread.

It is not at all clear from the docstrings what is the difference
between org-agenda-todo-ignore-with-date and
org-agenda-todo-ignore-timestamp.  I did a simple experiment on my
agenda and found out that org-agenda-todo-ignore-timestamp did not
ignore entries with a repeater timestamp, while
org-agenda-todo-ignore-with-date did.

Is that correct?  If yes, could it be said in the manual?

TIA,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University