Tests for index-page using mock (with-redefs)