legal code files with valid HTML