minor: we *never* use asterisks for un-ordered lists.