Can I just ask, is there a consensus here that we go with the current racoon? Or does someone want a totally different mascot? I haven't seen any alternative suggestions recently in this thread. (I'd certainly be happy with this racoon...)