apt_get_permissive: documentation bug