RE: diagnostics' identifier quoting style