[releng] Issue #8009: Take over doclifter