Subject: Patch submitted

From: Felix Lechner <[email-masked]>
Date: Fri, 19 May 2023 12:03:01 -0700

Hi,

I received no response to my question but included a relevant patch
after seeing a second such line together with other documentation
patches in Bug#63575. [1]

Kind regards
Felix

[1] https://issues.guix.gnu.org/63575