// theme on disk was installed after the initialization of the page.