Repository for Navigator prototype code