This section provides a tutorial example on how to insert the 'Location:' header line in a HTTP response to tell the browser to do a URL redirect - Send a HTTP request to the specified ULR immediately.
The PHP manual document says we can use header("Location: ...") to tell the browser to make a new HTTP request to
a given URL. This is called "redirect". Here is my testing script, HttpRedirect.php: