Does anybody know the mediawiki page and the parser functioning needed to make all soft redirects (such as #REDIRECT [[page being redirected to]]) turn into hard redirects (when it says in the title redirected from a page.) Also please note to make double redirects directly redirect to the page being redirected by the last redirect (for example a redirect on page 1 redirects to page 2 which has a soft redirect, and so it needs to redirect to the page being pointed to by #2). Also perhaps with broken redirects, take it to the wiki-search automatically to look for a page with a similar spelling.