Also, it looks like valid HTML documents must start with` <!DOCTYPE ...>` and XML documents must start with `<?xml ...>`. So I think we might be safe if the logic was: "If the document starts with an `@`, it's valid. Otherwise, if it doesn't start with `<!DOCTYPE` nor `<?xml`, it's also a valid".