Gadoin, Isabelle author data searchable via API