Well, it's a little late for a note, but thanks for advice. I sent an email, but it was never replied to (she never replied to email when we were on good terms). I'd call her, but I don't have her number (was going to ask for it after lunch). All in all, there's no sign that she cares.
My currant plan is simply to continue doing what I do (helping out and tossing the occasional one-liner), and exclude her. If she comes around, great, more people to have fun with at work. If not, so much the better.
Yesterday, I was bored at work, and started making these out of receipt paper. The first one I made didn't take. The second flew behind a dishwasher, and without some power tools, it's gone. So third time's a charm
