On 14/08/2024 13:07, Peter wrote:

Do I understand correctly that you are removing AES?

Um, no, we are definitely not removing AES. We're removing DES. Did I make a bad typo somewhere?

-- Gilles