Re: Extracting a UIOP's manual