A Web.py app for processing markdown