Update links in nav header for scala 2.13.x#1496

dwijnand merged 1 commit intoscala:masterscala/docs.scala-lang:masterfrom

Philippus:update-links-in-nav-headerPhilippus/scala.github.com:update-links-in-nav-headerCopy head branch name to clipboard