index.html: adding voidsearch to the mainpage.