[This reapplies commit 2bc07f7a, which was inadvertently lost by merge commit 7823745a.]
Attach a file by drag & drop or click to upload