I added an explanation with this meaning in 362cadf28a3f9e3dd3fb58be91caaf65bf0d0154.