Not sure about changing these quotes. They're not wrong, per-se, but if we do revert them to standard " instead of the unicode counter parts, I'd like them changed throughout the documentation.. It's a bit of a mess already, as I think Marc is the only one that types those kinds of quotes any way.. so if we could reach a decision for sticking with it either way could be a good idea.