I deleted the post above, didn’t ban the user, they have an otherwise normal posting history so giving the benefit of the doubt here.