I agree. In this specific case, assuming the author had to type-out (or paste) the actual contents of the list, then "hand-rolling" it into a HTML list using a decent editor will be less (probably much less) work than plugging in all that JS cruft.

And, it only happens once, instead of wasting a tiny bit of electricity for computing the exact same thing for every visitor.