LyX Trac forbids search engines?

[Guy Rutenberg]

Hi,

https://www.lyx.org/robots.txt disallows search engines from the trac. Is
this intentional? It makes finding tickets in the trac much harder.

Thanks,
Guy