Subject: [bug#74459] comments

From: Gabriel Wicki <[email-masked]>
Date: Mon, 2 Dec 2024 23:46:09 +0100

Thanks for your review, Ludo'!  I've addressed your concern and came up
with an even more readable solution -- I hope you agree.

Thanks for merging and have a nice week,

gabber