We should consolidate the content of our various documentations into the github wiki to have a better chance to keep things up to date. In particular the stuff on search.mathweb.org should go to a (demo) page in the wiki, then we can redirect there. That way it has a greater chance to stay up-to-date.
We should consolidate the content of our various documentations into the github wiki to have a better chance to keep things up to date. In particular the stuff on search.mathweb.org should go to a (demo) page in the wiki, then we can redirect there. That way it has a greater chance to stay up-to-date.