Re: RFC: External library infrastructure