A python library for writing pandoc filters, together with some example filters