* future.options: Remove. Move to gnu.org web pages.