Fixed #20330 -- Normalized spelling of "web server".

Thanks Baptiste Mispelon for the report.