> We really want just "okay" and "ok". Look for a version 3 of the patch > that fixes it later today. You might want to put in a comment that says "ok" is only a workaround for some broken systems, too. Segher