deleted function revy-manus-finish