Rewrite birdtracks to code sections.
Convert all to lhs+markdown.

Using the command

    pandoc -s --from latex+lhs --to markdown+lhs $file | sponge $file
Do a bit of work on docs.
Make pretty.