2 ms·Yes, red knot was the internal development code name; ty is the actual name.by _carljm 2y agoYes, red knot was the internal development code name; ty is the actual name.