Is the ```<ul>``` supposed to be dynamically generated, or included in the source here?