[whatwg] Listing element

[Christoph Päper]

The |listing| element is currently not defined in HTML5, but its  
parsing is said to be the same as for |pre|. Will |listing| be  
included some day or will it be left out, because |code| nested in | 
pre| provides the same semantics already?