Actually, the issue is resolved. The plugin added the option to include event and other metadata in the emails that went out from WooCommerce — or maybe it was already there and I didn’t see it? Anyway, PayPal details aren’t necessary if they have them in the other email.
Thanks!