Remove mentions of an obsolete issue#3200

Philippus merged 2 commits intoscala:mainscala/docs.scala-lang:mainfrom

kubukoz:patch-2kubukoz/docs.scala-lang:patch-2Copy head branch name to clipboard