Documenting the DSL module