Snippets for the TDD documentation