Redirects created when renaming a page send the HTTP code 302 as response, they should send 301

How to reproduce:

• create a page P1
• rename the page to Page1, checking the box to "create redirect" from the old page to the new page
• access the url of the P1 page with a http client that can show the http response envelope, for example curl in verbose mode (curl -v <url>)

Actual result:

• the http client receives a response with 302 Found, described as "Moved Temporarily" in the http 1.0 spec https://tools.ietf.org/html/rfc1945#page-35

Expected result:

• the http client should probably receive a "301 moved permanently" response ( https://tools.ietf.org/html/rfc1945#page-34 ) which seems more appropriate for the situation, hoping that in some future browsers will start updating bookmarks upon reception of a 301.