Question HTML time element look like ISO8601, cannot find it in the spec - Does it use a profiles RFC3339 or W3C Note datetime