Contributors to 2023-12-11 Replacing TeX control words behind the point