Thanks, applied with the minor changes below (the first one reported by
‘guix lint’, and the removal of @code because “Toxic” and “ncurses” are
a proper names.)

Ludo’.