Re #132: Only convert search results to EDM when required, i.e. not if HTML cached.