Re: [Python-Dev] PEP 576/579/580 benchmark: mistune