Brief README note on how FlushRevert() works.