[releng] Issue #7599: unretire idris