webretrieval: push current page using websocket to index.html demo page