I now feel a little bit silly about having written this, and having continued in the same joking vein in the comments thereon. Ran into her again today, and had a nice little chat, and that's about all there is to it.