docs: explain that static analysis is leff fun