<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jul 7, 2015 at 10:37 AM, Amir E. Aharoni <span dir="ltr"><<a href="mailto:amir.aharoni@mail.huji.ac.il" target="_blank">amir.aharoni@mail.huji.ac.il</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="rtl"><div dir="ltr">Is Cindy a different bot or a different name for Barry?<br></div></div><div class="gmail_extra"></div></blockquote></div><br>Where did you notice Cindy?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Željko</div></div>