judge and fake navigators
fakeNavigators was deleted due to: Report #16788.
Appeal submitted by the author:
This is Library - a script intended to be @require-d from other scripts and not installed directly.
This library has been used in lots scripts, please renable it.
As a result of this appeal, a moderator undeleted this script.