Document the elementdef format. Fixes #274.