I am using Chrome and it is closed by default <br><br>On Monday, February 13, 2017, Richard Eisenberg &lt;<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
&gt; On Feb 13, 2017, at 1:06 PM, Ben Gamari &lt;<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;ben@smart-cactus.org&#39;)">ben@smart-cactus.org</a>&gt; wrote:<br>
&gt;<br>
&gt; What browsers are you all using?<br>
<br>
Firefox, in agreement with your experience.<br>
______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;ghc-devs@haskell.org&#39;)">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</blockquote>