Re: [Hackage] #690: document extra global options