Debian packaging for {Ninja-IDE Is Not Just Another IDE}