Hi Chris, On Mon, Jun 22, 2020 at 12:45 AM Chris Lamb <lamby@debian.org> wrote: > > Up to you. In commit 1b9e1048, I went with option #2. Kind regards Felix Lechner