Fix navigation, plus some new emacs packages.