Contributors to Comments on 2015-10-31 Smart comma and other punctuation