How plasma etching damages thin gate oxides