On 7/2/2011 3:35 PM, Adam D. Ruppe wrote: > Walter Bright wrote: >> Sounds like a good idea for a pull request! > > Aye. I just wish my todo list was shorter! Mine has several thousand items on it!