Contributors to 2022-11-14 Doubling backslashes