One more thing about menu-entries: - I think it's unclear what "Revert" does. It seems to check out the version from the repository, so it should better be "Revert Local Changes" or something like that. Greetings, David