On 11/14/12 4:47 AM, Jacob Carlborg wrote: > On 2012-11-14 11:38, Walter Bright wrote: > >> Not that I can think of. > > Then we might want to remove it since it's either not working or > basically everyone has misunderstood how it should work. Actually this hypothesis is false. Andrei