{Ninja-IDE Is Not Just Another IDE}