They're also handled just fine by php-cs-fixer, so no need to bother people about this.