@johncarlosbaez Interesting, I figured it would be well known in academic circles. If you find anything I'd love to hear about it.

Seems like they were less than gracious to her, even if demotion is a common thing; but if it isn't that's even worse.