<div dir="ltr"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div dir="auto">fun fact: weirdly enough after BDFL1 took a vac (for life?), google made it's appearance on the mailing list</div></div></blockquote><div><br></div><div>As the Googler who appeared on the mailing list, I can say this was just a coincidence. I was a bit nervous no one would respond though, given Guido's vacation :) </div></div></div>