Contributors to 2015-10-10 A trouble with Org-mode HTML export