Thank you so much for your reply.
You are absolutely right, it was just a matter of… waiting! ![]()
I was puzzled, bc other text changes I had made were instantly visible in the UI, whereas for others it finally took more than 20 minutes!
Problem solved.
BTW the verbose feature is gorgeous!