Other than the response from Mario itself, pi is very frequently showcased at meetups organised by Peter/OpenClaw community, so there is definitely crediting involved.