Comment by grothoff

I should stress that GLS has been very helpful, and continues to be helpful.