>> I think both?
>> 
>> For PROBLEMS, the entry is OK, but please change "it is recommended" to 
>> say "we recommend".
>
> Okay, I'll do that.
>

See the attached (documentation-only) patch.  Should it go to master or to 
the release branch?