Deprecated status

Lambdajudge is not deprecated [maintainers: edit]