Update nav header on docs.scala-lang on major bump#646

dwijnand merged 1 commit intoscala-devscala/scala-dev:scala-devfrom

Philippus-patch-1scala/scala-dev:Philippus-patch-1Copy head branch name to clipboard