On Sunday 07 October 2007 14:18:58 gwern0 at gmail.com wrote: > Sun Oct 7 15:06:21 EDT 2007 gwern0 at gmail.com > * update NoBorders.hs configuration documentation > It seems 'noBorder full' no longer hacks it. Applied.