Text this: Robot-assisted delayed extraction of retained Lasso catheter combined with mitral valve repair and arrhythmia ablation.