RoboDoc Dissected the Making of RoboDoc (2009)