Update 6/7/2019: We added a full-screen view (click on the new button next to “Back to result”) as well as a new search bar when clicking on a search result. If you don’t see it, make sure to refresh the website (CTRL + F5) as your browser may have cached the old version.
Original 6/3/2019: We just updated the user interface! The list of results was redesigned to focus more on the content of search results:
Below is a screenshot of the new statistics window. You can open it by clicking on the statistic button on the top left (next to “Found X results”).
For comparison, this is the old interface: