I also tried to change `approximateAbstracts` to work for this case and see what breaks. You can follow the experiment live at https://scala-webapps.epfl.ch/jenkins/job/scala-checkin-manual/987/console.