Revert to regular bullet points in itemized lists

This undoes one part of commit 22ff9b53963f, at least for now.  The
ultimate decision is still up for discussion.  Maybe little solid
OTS-green dots as bullet points instead?