Re: [Nek5000-users] Nek5000-users Digest, Vol 88, Issue 5