Re: About the source of The ECL Manual