You're probably right, but there are so many other potential catchy names that aren't the same as Mozilla's interface layer, so I don't know why they couldn't have just gone with one of those and made it easier on everyone.
Just a tought.
They may as well change the name.