Restyling a bit the home page, and fixing the tests