Fix mkdocs nav toc to reflect new location of Test#979

carlostome merged 1 commit intomasterIntersectMBO/formal-ledger-specifications:masterfrom

978-mkdocs-nav-fixIntersectMBO/formal-ledger-specifications:978-mkdocs-nav-fixCopy head branch name to clipboard