Document more stolen syntax (#4196)