Update All.hs

Export runSecureNavigation'