Purge the search index if a page is deleted (see #5897)