On Sun, Feb 15, 2009 at 06:25:16PM +0300, Andrew Savchenko wrote: > > It should be OK to remove the reference, but I don't want to remove > something from AUTHORS without approval. Don't hesitate to fix such references, thanks for noticing it. Diego