Looks like planet is down. <br><br><div class="gmail_quote">On Wed, Jan 19, 2011 at 10:56 PM, Jon Rafkind <span dir="ltr">&lt;<a href="mailto:rafkind@cs.utah.edu">rafkind@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">


  
    
  
  <div text="#000000" bgcolor="#ffffff">
    its working for me. i just submitted a bug, too.<div class="im"><br><br></div></div></blockquote></div><br>