A generic search front-end for indexed HTML and text documents using a JSON API