Update "stolen syntax" section (#8575)

Thanks to aavogt