[Hackage] #690: document extra global options