Are these two patches OK to merge?

I can push it myself, but I need a review.

Best wishes,
Arne

¹ https://lists.gnu.org/archive/html/guile-devel/2024-10/msg00023.html