Comment by simonw

That's in there too: https://github.com/chenglou/pretext/blob/53a065b8a345fc29831...