*FIXME: rephrase to explain for the reader what works* ## End-to-end testing A testsuite has been set up, derived from the examples in the draft specification. The testsuite contains 10 end-to-end tests. A build target, `make check`, has been constructed that renders each test with the `sem-md.lua` filter enabled, and compares the result against expected output using diff. collected for the newly introduced Markdown markup. *TODO*: Document test coverage, and reflect on causes. ## Validation of output formatting *TODO* ## Evaluation of practical use *TODO*