f5 to revert-buffer