LEDA distribution (local) [docs_etc/]