Merge branch 'workshop-submissions-anonymity-and-availability' of git://github.com...