Implementation notes

Since there are no strict rules about redo behaviour, here are some remarks about goredo’s one: