On 10/29/18 10:16 AM, Pavel Sanda wrote: > On Mon, Oct 29, 2018 at 03:56:30PM +0200, Guy Rutenberg wrote: >> https://www.lyx.org/robots.txt disallows search engines from the trac. Is >> this intentional? It makes finding tickets in the trac much harder. > IIRC It was intentional because some crawlers overloaded trac with requests > and it was very slow to work with it because of them.
Yes, that is correct. Guy, the trac query engine is pretty powerful. There are things it won't do, such as certain kinds of Boolean tests. (Daniel pointed out a few of these recently.) But it's pretty good overall. Riki
