Sorry we're slow with this! Turns out Stripe makes it incredibly easy. I just clicked "send receipt" for you, @florismk, so let me know if that comes through.
If y'all keep clicking on Floris's post then we'll hurry and make that automatic. In the meantime just ping us at firstname.lastname@example.org and ask us to generate one!