Snippets of contents, resources, source code examples etc. that are going to be used in a new documentation of the Lean Mapper library soon