Hi - > one more point: The gcc mailing list including this discussion is > currently not being archived, the last message is from 2020-03-06.
Found & fixed a permission problem with the mailmnan archives. Let's see if this one makes it in now. - FChE