On 4/24/20 11:00 PM, Andreas Schwab wrote:

> "that is evaluated ... that is being evaluated" is saying the same thing
> twice.

Thanks for catching that; I installed the attached.