On 1/31/19 10:08 AM, Tim Parenti wrote: > the NIST file appears to have been updated this morning; proposed > patch attached. Thanks; I installed that into the development version.