[eluser]WanWizard[/eluser]
One more addition: it would be nice if the search results are ordered by date. Now old ones can be on the first page, new ones on other pages. Which means that you sometimes "mark as read" while there are new ones you haven't seen yet.