- apply patches to correct for + sign in with_hint() docs,
fixes #3036