Correct Mantis Robotics

Robolist publishes what it found first, then asks the people who know to correct it. Tell us what is wrong and, if you can, where the right answer is published.