A while back our favorites all got accidentally deleted. Now that I've built up a few pages again, it'd be nice if there was some way to quickly export some basic identifying information (title and author at least) into a simple file. I can't remember what's a good file type for that. Json? Csv? You know? Txt, for all I care.