user preferences, editor theme choices, beta 4 ?