Fantastic work, thank you very much!
I was randomly browsing my paper copy to compare formatting and came across one of those <1F…> tags that will probably be easy to fix if someone kindly keeps working on improving it: