[Amended the error message
Joachim Breitner <mail@joachim-breitner.de>**20100915140133
 Ignore-this: c9eda9260ac70334553f1ca25838fe6d
] hunk ./b18n-combined-cgi.hs 121
-                        mkSubmit True Check
+                        mkSubmit True Check +++
+                        p << (
+                            "The "+++
+                            hotlink "http://www-ps.iai.uni-bonn.de/cgi-bin/bff.cgi"
+                             << "purely semantic bidirectionalization technique" +++
+                            " (POPL’09) may still be able to handle your view function. "+++
+                            "For the combined technique (ICFP’10) it may be possible " +++
+                            "to recover applicability by using some program transformation "+++
+                            "techniques as discussed in Section 7 of the paper."
+                        )