Testing to see if this list is already accessible as @syslinux.org... I think it would make sense to migrate to that rather obvious domain, but would like to avoid disruption for existing users. -hpa