Renamed some more 'web' -> 'html' (more will come).