RoboDoc Dissected: The Making of RoboDoc