I figure there's a chance that Ridahne had at least heard the name Rochelle Pines. She was a pretty famous Eluri seer in Eluri so news of her might have reached Astra. I'll leave that up to you.

Also would you do the first description of the Archives? I'm not sure what vibe you are going for and don't want to mess it up. Thank you!