Contributors to 2025-02-01 ketchup.el