[[!comment format=mdwn
 username="https://www.google.com/accounts/o8/id?id=AItOawl52i_Ao3TpmLrpYMCbRcnNiMuNiwIDr4E"
 nickname="Martin"
 subject="Cross check"
 date="2015-02-10T22:58:01Z"
 content="""
I reinstalled the stuff, with the path \"Option\" set. No git-annex is found.
All other problems remained.
"""]]