Is </> even valid HTML?