Re: [PRQ#39399] Deletion Request for avxsynth-git