renamed servers Ninja -> Ninja3 and Ninja v.2 -> Ninja2 hoping to get more light into the plethora of Ninja servers