Various frontend improvements

* Add some dummy pages
* Add null-state for search
* Add number of examples to autocomplete results
* Fix typo on intro page
* Add Core library nav