No problem, and thanks. I understand the size of the problem, and why the above link is "most upvoted"

By archiving all, I can easily filter titles as text, if I really wanted to do so, but it's not all that important for me. grep -v works!

Again, thanks for the effort.