Function: Info-cease-edit

Finish editing Info node; switch back to Info proper.