Highlighting in different colours will come sooner or later. I don‘t understand what you mean with Color option for bold. Do you want choose between different colors for bolded text or do you just want that the themes don‘t use black for bolded text but another colour that matches the theme?