rust - update robot-name per @huonw's comments #919