4.0 files with valid HTML