On May 18, 2008, at 11:04 AM, Eli Friedman wrote: > Should I take the fact that there have been no comments as meaning the > patch is bad, the patch is okay, or just that nobody with the > appropriate expertise had the time to take a look at it? I looked at it, seemed reasonable...