In v6.0.3 they doesn’t show up anymore. Do I have to trash preferences again, like so many times before, or…