Re: Haddock interface file for standard libraries