Covert documentation to Edify.

See #117.