<p dir="ltr">Hi,</p>
<p dir="ltr">On Jun 4, 2015 5:16 PM, &quot;Francesco Siddi&quot; <br>
&gt; Yes, but then if the new manual is updated further, those redirects need to be updated. Also we might want to look into a proper solution if we want to set up redirects for 100s of pages.<br>
&gt;<br>
&gt; Maybe Dan has some advice on this?</p>
<p dir="ltr">I thought that mediawiki has redirect support built in, can&#39;t this be used to redirect pages to the new manual URL?<br></p>
<p dir="ltr">Dan<br>
</p>