@dauwhe Thank you for clarifying the origin of this joke!