Playing around with pijul while trying to extend thrussh a bit

use extend_list instead of hand-rolling comma-separation

Created by  Robin_Jadoul  on April 12, 2023
CTQHOYXLRJPNE3PTAKLR3NOSBEBZ3T6QI2LEUYUATPK7FLIOJ44QC
Change contents