Moving replacement of default theme to prelude-ui for startup speed issues and visual behavior.