List differences in WHATWG HTML