From what I was told by Emanuele today in the office hours, this came up during the Copenhagen hackathon. (cherry picked from commit f1aa7ba0) Conflicts: changelog.html