Hi,as far as I understand, all occurrences of std::string are supposed to be replaced by docstring sooner or later.
A simple grep shows about 8000 (!) occurrences of std::string. I wonder whether we should apply a global search&replace and fix the shard afterwards...
Michael
