User blog comment:MakitoMizushima/Is community JS prioritised over personal JS?/@comment-303594-20151120041600

Javascript doesn't really do scope very well, so you can redefine anything in personal JS.

They probably won't - but you could mention in your script that it would cause undefined behaviour.