Subject: Re: bug#53198: Add & Update some gnome-shell extensions

From: Mathieu Othacehe <[email-masked]>
Date: Wed, 12 Jan 2022 12:54:40 +0100

Hello,

I fixed a few things before pushing:

* Remove trailing #t.
* Switch to new input style.
* Use "file-name" as suggested by "guix lint".
* Edit some descriptions.

Thanks,

Mathieu