<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">It should be at least toggle-able and turned off by default.</div></blockquote><div>

<br></div><div>Will phases be a core feature or will users have to enable them in extensions (like bookmarks)? i.e. </div><div><br></div><div>[extensions]</div><div>phases =</div><div><br></div><div>If so, then could graphlog check to see if the phases extension is enabled?</div>

</div>