Re: [ET Trac] [Einstein Toolkit] #827: merge bugfixes from Zelmani into main branch