Documentation of JSDesugaring.scala.