(And please keep the bug address on the CC list, so that this discussion gets recorded with the bug.)