The important doc file navigation.js was missing from GitHub