(thanks to Jan van Haarst for the report.) Closes #2865619.
Attach a file by drag & drop or click to upload
