Document #13863

Add a call-out mentioning the behavior described in #13863.