<dt>Solution:</dt>
<dd>
- <p>We rewrite the name to its basename and test for
- existence of the new extension. If it exists, we take
- that name, else we rewrite the URL to its original state.</p>
+ <p>The URL is rewritten from the old extension to the new
+ one only if the target file with the new extension exists
+ and the original file with the old extension does not.
+ Otherwise, the URL is left unchanged.</p>
<highlight language="config">
# backward compatibility ruleset for