<div dir="ltr">Hello Agda list members,<div><br></div><div>Administrating the poll through CIVS has not been entirely smooth so far.</div><div><br></div><div>* Sending the ~600 emails didn't work well the first time only the first ~100 received it. Then I sent the rest by batches of 100.</div><div>* You have received it in french because the website supports various languages but implicitly sends them in the same language as the setting of the browser of the administrator.</div><div>* Some people have reported that their logo is not in the list or that only one version should be or should be split.</div><div>* One cannot change the the proposals after the poll is started.</div><div>* ~90 people already voted.</div><div><br></div><div>Either we continue with this poll and I resend emails in English (this does not allow to vote twice),</div><div>or we start a new one which can allow minor changes to the list of proposal at the cost of making re-vote those who did.</div><div><br></div><div>I will act on one of these choices this evening. I'd be glad to read your feedback meanwhile.</div><div><br></div><div>Let's keep in mind that while the choice of the logo is important, the goal is to balance the following:</div><div><br></div><div>* The list of proposal should match what the community proposed.</div><div>* The list of members should represent the Agda community.</div><div>* The process should be simple enough and trustworthy.</div><div>* The voluntary time to run the poll should be manageable.</div><div><br></div><div>Best regards,</div><div class="gmail-yj6qo gmail-ajU" style="outline:none;padding:10px 0px;width:22px;margin:2px 0px 0px"><br class="gmail-Apple-interchange-newline"></div></div>