Looking at the source. All the text is loaded with the HTML (in a <script> tag), which is filtered using a fuzzy search implementation. Very simple and fast co

Looking at the source. All the text is loaded with the HTML (in a <script> tag), which is filtered using a fuzzy search implementation. Very simple and fast considering the text doesn't change ;)