some extensions for the python markdown parser