I just copied information from the bug descs. If you say it’s the current syntax, I’ll be happy to update this.