Oh joy: over time, Python’s regex module has changed which characters it escapes or not… posted on 4 October 2019