On Sat, Sep 17, 2011 at 12:26:15AM +0200, Stepan Kasal wrote: > > - halevt -- should be phased out; any volunteer that has read the > End-of-life page on wiki? Manuel retired it. Thanks Manuel! -- Pat