Either way, it's a good script for removing the navbar (Although S.M.A.R.T does a very nice job

). Javascript for Greasemonkey isn't exactly difficult to write, anyone with Javascript knowledge can easily remove a navbar. The code will look near identical because there is only one navbar.
If the script was stolen, then the true creator of the script has the knowledge of creating the script while the thief will have that upon his conscience.
But I highly doubt that either of you intended to take credit for each other's scripts, and the layout was a coincidence

.
Another method for removing the navbar is either Adblock Plus, Nuke 'em All, or RIP. This also had the advantage of deleting any advertisements which come with the page
