Thread:Andisimon/@comment-33834897-20200118083710/@comment-33834897-20200118084041

Then use undo instead of revert to reverse just the last edit.