Robin Marvel: books, biography and more