Rated 4 out of 5 stars
Meanwhile I modified the code (HostnameInTitlebar.js) a little bit which helped me to overcome the issue with "Coral IE Tab". I simply exchanged the line containing
if (hostname === "ietab"
if (hostname === "coralietab""
If this will be implemented into the next release I'll give five stars.