un-def was a desperate measure when std-def of the day was suddenly plain broken. This reverts 0e8871e7.
Attach a file by drag & drop or click to upload
