posted on 2019-10-04 in micro Oh joy: over time, Python’s regex module has changed which characters it escapes or not…