This is a patch release to address changes in grep() on R-devel (4.5.0), following the email received on 2025-02-26.