Bind f5 to revert-buffer.