Use a deferred Ajax request to add a page to the search index (see #6566)