Demos: fixing the redirects for old docs by changing .php back to .html