Richard Eisenberg authored Mar 17, 2020 and Marge Bot committed Mar 18, 2020

We thought we needed to update the manual, but the fix for #16502
actually brings the implementation in line with the manual. So we
just alert users of how to update their code.