@drahardja if you want, like firefox, to highlight the hostname for novice users, great. but if novices can only learn more by going into conplicated browser settings, you’ve created a cliff. 2/