Re: [PRQ#40541] Deletion Request for tsduck-git