A simple WordPress plugin that will add an "All Settings" option in the WordPress menu for easy access to `options.php`.