On Sun, 24 Feb 2013, Russ Allbery wrote: > Andreas Barth <aba@ayous.org> writes: > > Comments? > > Yup, looks right to me. Yeah, I don't see a problem on this either. Don Armstrong -- Democracy means simply the bludgeoning of the people by the people for the people. -- Oscar Wilde http://www.donarmstrong.com http://rzlab.ucr.edu