LEDA distribution (local) [docs_etc/man/]