A WordPress plugin to delete with Ajax the options in the 'hidden' WP Options page(/wp-admin/options.php)