The maintainers might not see your comment, I encourage you to make a PR: https://github.com/scala/scala-lang