<div class="gmail_quote">Just wanted to comment that, indeed, exported at-names should be explicit.  I'll try to update the gist when time permits.<br><div><br></div><div>Kevin</div><div><br></div></div>