maybemkl

#!/usr/bin/env python3

from pandocfilters import toJSONFilter, Str
import re

def replace(key, value, format, meta):
    if key == 'Str':
        if '[[' in value:
            new_value = value.replace('[[', '')
            return Str(new_value)