Defaults: changed default of pageLoadErrorMessageTheme to "a". Fixes #6303.