High-quality translation of web pages in GF