Start sketching out new indexing classes.
Delete files now kept (more logically) with the external indexer
Basic external indexer integration via command-line use of tool.
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Experimenting with error handling
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Merge branch 'master' into new_indexing
Modify new indexing API for more real-world sense and better error handling.
Various tweaks to add more robustness to indexing (both backend and ui).
Add crude language switcher to the footer
Allow hierarchical searching of repo contents if a query is given
Merge branch 'master' into new_indexing
Delete by reference to the description id rather than updating the whole item (which doesn't work).
For described items, include a search anchor ref to the description and load it on nav
Fix incorrect top-level filtering