Subject: [bug#68857] gnu: home: dotfiles: Avoid creating extra directory in $HOME.

From: paul <[email-masked]>
Date: Wed, 6 Mar 2024 21:51:58 +0100

Hi Ludo ,

I should have addressed everything, I hope. Thank you again for your 
time reviewing this.

I'm sending a  v4.

giacomo