Issue #12: Update docs for navtiming