Added last missing paragraphs to WEDT's specification document
Merge remote-tracking branch 'origin/wedt-specification' into wedt-specification