Re: [arch-releng] [PATCH 3/3] Rename all occurrences of isolinux to syslinux