Re: [Hackage] #109: undocumented options