Contributors to 2020-11-16 Putting punctuation after closing parens automatically