I thought I committed this change to the last PR, but it didn't go through.
Attach a file by drag & drop or click to upload