When we're quoting user-interface text from PuTTY 0.51, we probably shouldn't