Plugin wizards – does the WP updater gracefully work if you change name of main plugin file? plugin.php->unique.php still be activated?