Removing unnecessary HTML element
Removing unnecessary HTML element

The `<span>` can be merged with the pattern `<li>`, which simplifies
the markup a bit with seemingly no downside.

jstrait/jssynth,jstrait/jssynth