Contributors to 2019-12-07 Dollar-quoted strings in Bash