Differences between HTML specifications