Re: OPTIONS in a literate source file