(gnus-group-redraw-when-idle): Rename from