Worthwhile to `exit;` after a redirect to kill the PHP process