anonymous
Disabling anonymous definition support before holidays.
Merge pull request #1 from StephaneSeyvoz/anonymous

Integrate "anonymous" branch into master