Convert docs to Edify.

See #161.