Fixed filename of ignored JS file in options docs.