Revert 777b36d47e3bc8a0683082aa114ff37ad3644dd5 using the document again as mainPage root