It would be kind of ironic if they were printing them.
> The ESF can convert SDRs into dollars on its account by issuing certificates against them and selling the certificates to the Federal Reserve,[6] and later repurchase them when it has surplus cash.
So they did actually fund it by printing money.