today, I got several messages coming from debian-x86-64@lists.debian.org which I had never seen before. Is the mailing list name changing ? does this imply the architecture name will be changed too ? Ernest.