I'm wondering whether we should reduce the number of ‘’ marks in the
*Help* buffer.  Here's what it looks like today: