Thanks for the pointer.  I see that I managed to guess the preferred quotation-punctuation rule correctly (by analogy with old hackers and Usenet geeks, who tend to favor the British style as it is more logical).