Safe to remove ``Navigator`` as it is unused.