RGRahul Gupta@replyre·3daa60d6e@paulinevos do we have a mascot, if not thme would love to a part fo that discussion.17:51 · Nov 4, 2026 · commit aa60d6eQuoteReplyHide repliesAKArjan Kapteijn@arjankapteijn·3d@tom1Reply1 reply