lib.html (former index) added.