Semi OT: what is ninja? Tried looking it up but couldn't come up with a meaningful result.