patch release of the uk tex faq