I'd say that it's probably fine like it is. It's not designed to be included on any other page, and it's not even going to be seen when browsing mozilla.org. So I'd say go with it.