Excellent, you were completely right, Iain!

For the first time in about decade had inbox ;-).

Best regards, 

Robert

On Wednesday, 8 July 2020 16:51:27 UTC-5, Iain Parris wrote:
Hi Robert,

Excerpts from Robert Winkler's message of 2020-07-08 14:44:09 -0500:
> Thanks for this explanation. However, there are still 21,400 mails with
> the inbox label.
>
> Somehow, the tweaks operation had no visible effect. Is there any
> additional step necessary after removing the labels?

There should be no additional steps necessary - "sup-tweak-labels"
should be all that's needed.

I think that I've spotted the problem. The comma-separated list for the
"-r" (--remove) parameter can't have any spaces between the label names.

Please could you try this instead (spaces removed):

  /usr/local/sup/bin/sup-tweak-labels --all-sources -r gmail_archive,inbox_archive,sentg_archive,senti_archive,sentm_archive,inbox

Kind regards,
Iain