- Patch #19590 by Moshe: lazy initialization of the theme system.  Improves
  performance of pages that don't need the theme system (such as RSS feeds)
  and makes it easier to set a custom theme.