On Thu, 9 Jul 2020, Richard Sandiford wrote: >> I'm trying Tree Browser during debugging, but failed. >> I found that tree-browser.c and tree-browser.def have been >> removed at 2015-07-25. So, to avoid misunderstanding, >> can we remove this tree-browser page too? > Thanks for the patch. Seems like a good idea to me. I guess the only > question is whether we should keep it around for historical purposes, > but with a big banner to say that it's no longer up-to-date. I also > don't know whether we try to avoid 404s on old pages.
Thank you, Hujp and Richard! We generally try to avoid 404s. So in case we remove a page put in a redirect. You can do so via a new entry in wwwdocs/htdocs/.htaccess (which I believe is self explanatory, and I'm happy to help, too). My recommendation in a case like this is to follow the approach of adding a big banner at the top as you suggest, Richard. That said, if the consensus by you/those working in this area is to completely remove the page, that is perfectly fine, too. Gerald
