The concept is flawed, and mostly useless. Let's finally remove it. It has been deprecated since 90a2ec10f2 (6 years ago) and we started to warn since 55dadc5c57 (1.5 years ago). Let's get rid of it altogether.
90a2ec10f2
55dadc5c57
937b117137