Contributors to 2025-07-07 Mass resetting Org mode checkboxes