While adding information about how to enable code highlights in
Google Group settings, I browsed the rest of the options and noticed
that `Basic permissions` are set to disallow postings from members.
That's weird, because I'd never set it myself. At least it explains the
silence here over past year, but it is still an Epic Fail.