notion: set default theme, default term