Since this thread has resurfaced repeatedly over the years, I opened a separate poll to get a clearer signal on whether people want an unofficial community mascot at all, and if so which candidates they prefer:
I kept it separate so the vote would not get buried in the long historical discussion here.
