Documentation of JSDesugaring.scala.
Some more doc here and there in the compiler.