it's not necessarily a comma, but it must be a permission separator, so the meaning here is: this separator is used by permission, just like the event separator, not meaning: this is a comma which could be used somewhere...