Add QED documentation